Just an update.
I just did the Five hundred hour service on the Suzuki. Oil-filter, gear oil, plugs, water pump kit, Zincs and grease. $150 in parts.
It runs as it did new.

We have all had problems in the Keys with the fuel we are getting down here. Doubling up on filters helped.

No other problems to report, none.