RE: Hall effect magnet
Rcign is putting a square magnet in a round hole so i am sure you are right about the .05mm not matterring much. when i work it out that magnet would need a 6.5mm hole to slip in(correct me if I am wrong) so a 6mm would probably still be a tight fit.
The reason I answered crustys question like that is cos thats what he asked (well half of it anyway).