The author remixed this model.
I changed the hole diameter from 8.2mm to 10.1mm because I only had 10x3mm magnets lying around.
3mf file also has a test print to check if 10.1mm works on your printer, otherwise just change the negative diameter in the slicer.