I poked around the forums a little more and it looks like the MSD 2348 sensor is the way to go. It is slightly bigger 1/2 inch thread but it is fairly inexpensive at $60 and it has a built in LED which tells you if it is working or not. So I'm going to order one of those and see how it works.