just an FYI - allelectronics.com has many random electronics parts, and most are dirt-cheap - I find all kinds of cool stuff there (it's all surplus stuff, so their inventory is constantly changing) - just thought i'd pass the resource along, since i've seen hall effect switches and sensors there in the past.