It's quite likely that I wasn't actually using a 5/16" wrench -- the one hardware store in my neighborhood is really great at incorrectly stocking their stuff. And when you ask an employee a question -- any kind of question -- they look at you with utter pity for having been born so stupid.

Anyway, I've got a 7mm wrench on its way, so we'll see...