I see that Vredestein has a 175/55R15 tire that is slightly smaller in diameter (22.5" versus 22.8"). Spending $250 a pair and rubbing would really tick me off

I see plenty of off brand 175/55R15 tires for sale in the $120/pair range, then add $40 for mounting/balancing. That would be a bit less painful. I do like my generic Achilles Ekonomist 165/55R15 tires, but like the Federal Formoza, they are no longer available stateside. Damn ....