Mauser48

Just got my truck and it won't start. After a series of tests I figured out it's the distributor sensor. It looks like it's probably best to replace the whole distributor. What brand should I go with? Just looking for a reliable one, don't need something super high performance. Thanks!