Whoa! Source on those? Fucking awesome. Way lower profile and more attractive in general than either straight-out or 90 degree banjo bolt sensors. Lets you keep using your own hardware too if you don't mind drilling a little bit or having it made to work. Very Smoker.It's a banjo switch, instead of a banjo bolt switch.
Let me help you find the hole.