What do you mean by a proximity sensor? There are several types, magnetic, optical, etc, usually they would not be nearly accurate enough IMHO. Much easier to have a big alligator clip with which to ground the tool when you want to set its height. Take it off before you start the spindle!
Sent from my iPad using Tapatalk