For at ingen skal være i tvil: Jernbanestasjonen i bittelille El Chorro har fått navn etter den nye turistattraksjonen, Caminito del Rey.