I was going to ask something along those lines myself...I'd been thinking that Gibraltar itself must have been named after something/someone...