>That's taller than the highest mountain in Spain.

Not quite, unless by "Spain" one means "continental Spain." Spain's tallest is Pico del Teide on the Tenerife, measuring 3718 m from the sea level.