Did you know that Martin's Cave is named after the man who found it when he fell off the Rock of Gibraltar ?