Hmmm, so I got the new 12v battery installed with no trouble. Plugged it in, and it is now fully charged.
Time to charge the main pack. I plug in the pack, turn on the charger, and now it is making an odd hissing noise. I’ve contacted the factory to see what they want me to do. Meanwhile, the car is not a daily driver at all. *sigh*