А вот такой моддерский (и постомодернистский) вопрос. Кто-нибудь пилил (стачивал по высоте) магниты Alnico 5? Каким ручным инструментом это лучше делать? Хотя макс. рабочая температура у них 450°C, дремель (и прочие машинки) на готовом датчике imho лучше не использовать. Так что остается только ручной инструмент.
ps. Как на грех, нет ничего подходящего, что можно было бы пустить на опыты.