I got the smaller check plug out by taking that 5mm allen bit (epoxy putty removed), soldering a bit of silver solder around it, hammering it into the plug, and using a socket wrench to unscrew it. The fluid that came out definitely needs to be replaced. I'll post a photo of the fluid later. Now the problem is getting the drain plug out. It, too, is stuck.