Miss doch den Reifenumfang mal separat pro Reifen mit einem Maßband nach. Ist natürlich etwas aufwendig, aber dann weißt du von der technischen Seite her exakt, wieviel Abweichung du tatsächlich hast.
Das kannst du im Herbst/nächsten Frühjahr auch wiederholen.
Stern hin oder her: Wichtig ist ja die Differenz.
Andernfalls und wenn du zu große Sorge damit hast: Mit den Michelins machst du nichts falsch. Die sind klasse. Und die Falken bekommst du ggf. noch an sdrive Fahrer verkauft.