Vtk, the M5 was not running on Michelins but PZeros, which are 220 treadwear.
Also, stock M5s that come with Michelins do not come with the ps4 but the ps4s. The pilot sport 4 is a different tire than the 4S->
PS4:
https://www.tirerack.com/tires/tires...=Pilot+Sport+4
4S:
https://www.tirerack.com/tires/tires...Pilot+Sport+4S