I did it a few years back on a cycling trip to Granada. Very cool climb. Took us all day to get up there and 30 mins to get down - we mistakenly went up via Hazallanas!
We walked/rode the last gravel bit right up to the top. It was a perfect day for it, didn't even need a jacket at the top.
On the topic of high mountains, has anyone on here done Pico de Veleta? Fancy having a go at it, probably next summer.