The Rock of Gibraltar re‐visited. (12th May 2016)