Hello, I have heard plenty of ideas of how you can line a gas tank. I have also read that some liners will patch a pinhole leak, which my Super A's tank has. Did any of you need to reline your tank, and what did you use? I have seen a product called Red Kote. Is this what the company says it is? Thank you, Ben Wagner