I don't think that you could even measure the difference in diameter at 7500 miles. IMHO, you'll be OK. I think you'd get more variation in diameter just on tire pressure.