Rider98Glide, thanks for the good advice.

Yes, I was wondering how to verify model years, and you gave me the great tip of going to the Trek archives and matching colors. It seems the 7.2 is indeed a 2009 model. Trek doesn't keep a good archive for the 7.1, so I'm not exactly sure when that bike was made.

Anyone else have any thoughts?