The only thing that would work was the open end of a 7mm wrench. Emphasis on open end. Since I still have the plug out perhaps I should try everything again to see if anything else will fit, but that seems unlikely (and I tried a bunch of things). It's as if they are making it difficult to do this on purpose. It's some weird size where 1/4" was too small and 5/16" was too big.