Tires, 23's vs. 25's, brands?

[mimitabby]

. They insisted I'd get more miles out of them and fewer flats while sacrificing maybe 0.5 mph to the Conti's.

Do you really think you are going 0.5mph slower? That's a lot!