Richard, while a Hall effect usually is better, I have had problems with Hall-effect based switches "bouncing" when the switch was at the very edge of triggering and the slightes vibrations were present. I recommend - would never, myself, design without - debouncing everything INCLUDING the kitchen sink.

Have fun,

Erik

PS for our friends abroad: "everything but the kitchen sink" is an americhan expression for EVERYTHING.