[…] Die IGN-Karten sind zwar besser, aber deutlich teurer; […]
Konkreter: Die Karten sind nicht teurer (ca. 5 EUR, ähnlich wie Michelin local oder regional), man braucht halt wegen des größeren Maßstabs mehr für die gleiche Region.
Ansonsten sehe ich es wie Du, Michelin reicht eigentlich aus.
Gruß
Holger