Gibraltar, UK Tuesday, May 31st we docked in Gibraltar, UK. We decided to skip the ship tour, which would have been in a bus with up to 40