Thanks everyone for the help. I also received this info from the seller:
As to size, the frame from the pedal to the seat is 25 inches as I measure it and the frame from the seat to the handle bars is 23 inches. I am 6 feet tall, and that was the size Trek for me.
Is it likely that he would have been sold a 25.5 size at 6 feet? Also, I'm planning on putting on different handlebars that I believe would be both more elevated and more set back than the drop bars (I think the name is Bosco--it's one of the Rivendell bars). Would this have the effect of offsetting some of the frame's being a bit too large for me?