Six nights were spent. Not too costly, at about 170 Euros with lece and water. Fairly good for Bosun also - fair bit of leg stretching, and with outside restaurants, we usually took him to dinner. We were going to go on a mountain cog train - bought 50 euros of tickets - but in the end couldn't be bothered! With connections and potentially missed connections, we decided 8 hours minimum was too long to leave Bosun and Chance. Should've, didn't, bummer.
Got the water pump fixed, and also bought a brand new pump as a spare. Having two identical engines is good ref spares. Did some work on my workshop, including wiring in a couple of 240v sockets to the tool bench. Mostly fixed the port fresh water leak.  Fixed starboard window leak. Finished the fitting of the sun shade. Swapped out some rusty bolts on outside table. Stocked up on fenders. Bought some new mooring rope. Bought a new plank (snapped the old one in a surging swell), and varnished it happy. Eated two fishies (unusual for me).

All up - Twas a worthy stop.