When shutting down the pool at end of season last year noticed a hairline crack in the skimmer housing which was leaking. Have seen older posts recommending either Silicone RTV or 3M 5200 Marine sealant to seal crack instead of replacing skimmer unit. Is this still correct information?