I have bought the 12mm magnet from this ebay listing
The author remixed this model.
I imported the original model in Freecad and have made a 12mm pocket to fit my magnet. It can be easily adapted to fit any other diameter. Print with PLA and supports enabled.