I'm an electrician...
All the toggle switches I've ever seen are 12mm metric, 1/2"
Rotary switches / pots for guitars and radios tend to be around 10mm, 3/8"
I'll measure tonite the rotary one on the KHK...
... Paper template...
; O )
...I'm glad my instincts still work OK!!!
Patrick