Thanks, I shall look into that.
I've never visited them, only been to Nottingham twice though I used to live in the Midlands, but I've had friends from the city who have told me of them. Here on the Altiplano de Granada there are thousands of cave homes, some going back centuries, as well as cave hotels and restaurants.
Many thanks for your help.