Replacing vinyl liner and looking for recommendations to repair/refinished badly rusted steel (galvanized?) walls on in ground pool.