Gibraltar

I wonder if anybody has any recommendations regarding another rock?

 

My girlfriend is a historian here in HK with a focus on early western impressions and representations of Hong Kong, which has sometimes been compared to Gibraltar in various contexts. We're planning a short trip to Andalusia, and I would like to take her to Gibraltar for a daytrip whilst down that way. I wondered if anybody had any contacts/advice/recommendations in Gibraltar? For example any museums, galleries, historical sites or archives worth a visit. Or even any local historians to perhaps contact who may be interested in a chat over a coffee?

 

Thanks in advance for any advice you can offer.