My auxillary air tank has developed a pin-hole leak. I saw Sven & Kristi posted about this last year but did not follow-up with their solution. What have you replaced your tank with?