The 30mm went over the nut all right, I could feel the slop between the socket and the flats of the nut
I got the same info from the dealer.
Even asked the one real good tuner/mech he has in his employ. He could only remember, "it's pretty big!"
I already knew that much.
They didn't have one of the nuts in stock, so couldn't find out that way.
Bit the bullet the other day and bought a set of six sockets from Sears. Covers 27, 28, 29, 30, 32 & 36mm. So now I have two 30mm sockets... who knows, maybe someday I'll need 'em both at the same time.