You been on the sauce Mark? It's www.mapsman.com not www.mapsman.co.ok
Eh, don't understand. The Mapsman package includes Michelin Regional Map 574: Cataluna, Aragon, Andorra. This covers the Spanish Pyrenees and is the only map you will require for Spain. It appears Mapsman may have cocked it up!
See www.mapsman.com/store/product.php?id=542 for the actual page.