Where is Roque de los Muchachos?

Where is Roque de los Muchachos located?

Roque de los Muchachos, Roque de los Muchachos, Spain (approx. 28.75422°, -17.88477°)


Where is Roque de los Muchachos on the map?