If you found pinholes, there are potentially going to be more about to happen IMO, in a tank this old. I would focus on getting a replacement tank somehow, as this would be a better investment for the long haul. Better to bite this bullet now IMO.
Once you get the original tank back in place, fixing new pinholes etc. will be a real pain . . .