I don't know what the stuff was called, but it is easy to find at any auto parts store. It may have been "aircraft aluminum stripper" or something. You paint it on, let it sit, then hose it off.

That price sounds about right. I think one gallon would get it for a boat that size. It does not get slippery when wet or slimey.