I precise that we can even make some special handling for the Spitfire case (i.e. roman numbers if mk>3 in that case)
So I would say that the auto-formatting system is the best one because then we do not have to check which Mk-style use the other cars of the same model.