Oops, forgot to post here. The Omten 1217 worked well; just had to boost it up a little bit, and potentially sand down the plastic o ring in the switch.