I have 20 inch OEM wheels and tires. I see a lot of folks talk about 265 front tires. I have Michelin summer tires and the fronts are 255 which matches the label in drivers door. I wonder if they supplied different front tire sizes for summer vs all season?