When using Champion plugs, the socket size is 16mm. For that I used to original tool that came with the bike, a 1994 650 I.E.
The NGK equivalent has 18mm. In order to gain access to the NGK, I had to remove some material from the socket to an outside diameter of 23mm.
Marnix