Huge! And you'll need a deep one, too.You can get box spanners from most cheap landy places for about a fiver or use a hammer and chisel on the corners of the nut. (this is considered sacrilege/standard practice depending on who you talk to. A bit like Marmite.)
