Anyways, the resulting sparking caused some wiring to catch fire, and he spent a few hundred dollars replacing the battery, electrical wires, and the coolant fan. However, the repair shop could not find a coolant overflow jug around town, even a used one, so the mechanic plugged the radiator and advised us to search online.
Sure enough, a vendor on eBay from New Orleans Louisiana listed a used coolant overflow receptacle for a mere $21, less than a third of the price of a new jug. A few days later and the grimy-but-serviceable part arrived in the mail, and the car will now be ready for the hottest summer days with its new-to-you overflow container.