Thank you, I must admit, I hadn't thought of chipping it out. Although they are deeper than shown in the picture in your post.I can't be sure on that position change without knowing all the spacing relationships Ian, but instinct tells me you should avoid it and use the simplest replacement option.
I feel sure it should be possible to chip out the existing dud sensor head and just replace that. Looking at this photo from Endless Sphere you may be able to insert a screwdriver just below a bar magnet and gently lever out the sensor. If not, cutting into it from side to side should fragment it enough for removal. A further option with care is to gently drill into the sensor at an angle from just below a bar magnet above, either to break it up or to insert a screw to give you something to get hold of to wiggle it free. If you break a little of the paxolin surround removing the sensor, you'll be able to build it back up again with epoxy resin when you cement in the new sensor.
I'd be happy to try that Hall sensor you found as it seems to match what's needed.
.
I'll order a sensor (and spares) and give chipping out a whirl.
Thanks, once again for your help and suggestions.
Ian