Did you know that the Gibraltar Museum houses the remains of a 14th-century Moorish bath house , once the private baths of the Governor of Gibraltar during the Marinid dynasty ?