Distributor rebuild - Hall effect switch replacement