I have an old lawn boy push mower and today a crack developed in the gas tank and I want to know what my options are. Is there anything that will permanently seal the crack or do I have to try to find a replacement for it, which I'm not even sure is possible since it's about 13 years old. As far as I know everything else is fine with it. The crack did happen when the mower was in use and some smoke came out (no fire) but I turned it off and took the tank off, but it should still start, at least I think it should.