A quick update on this: after my initial cleaning and de-salting, the engine ran fine for a couple of runs but eventually, I got the overheating buzzer and light again. As I am still waiting for a new tstat, water pump and flush adapter, I crafted a flush adapter from stuff I have on the boat...