I most vociferously disagree with both sides here...
The magnet on mine does get ever so slightly bearded,..
...but, I'm not sure that stuff's not so fine it's just lube+...
.. on the other hand,.. if that magnet ever comes loose, there'll be hell to pay..
... 'course,.. it is magnetic, so it prolly won't come loose..
...then again, why risk it...
...'cept it might be workin'...
...but, most of all,.. it's a 14mm an' the old one was 17mm,.. so I can get a box-end on it...
Hope I cleared that up for ya'..
...
...