Puerto del Rey marina is a full service marina with a Thrifty Car Rental on the premises
It also has a Happy hour and restaurant (closed on Mon and Tues)