DMC selector sensors

Anyone have a link they could post for Digikay or some other site. I need to purchase some spare hall effect sensors for Dover DMC selectors. Tired of buying new boards, would rather repair them. I don't know the specs on the stock ones and I couldn't find a data sheet on them online.