thanks @
CSG David, that's good to know that slightly stretching tires is common in other communities.
on an related note, the stock michelins have a tread width of 7.5'', so it appears that the OEM wheels are slightly undersized given the tire size.