Just a note to thank everyone for the advice. I ended up taking a round trip on the reasonably priced Manuel Tienda Leon bus and stretched my legs around the port looking for places to eat. There are dozens of options at several price points. I chose one by the number of Spanish-speaking diners on the terazza and had a nice piece of dead cow and some great "vino de la casa" that would have cost 4x the price at home. A great way to kill a few hours between flights.
Hehehe... I see another low-priced offer from my airline so I might just do the same trip in a week.
Cheers,
Commander Bob