RE:"if the marina mechanic put in something else to top it off and tap water."

Why would it need a "top off"? Unless you have (had) a leak somewhere? If only a few ounces or a pint got put in, then percentage would be low and its unlikely that any significant amount of "crap" ended up in your system.

Is it running at a proper temp now?