I'm a dumdum and bought the wrong size magnets for something I printed. The original model had a 10mm diameter cutout for a 3mm high magnet, and I bought 5mm diameter / 2mm height. This allowed me to inset 2 magnets in place of one with some super glue.
Uses less than a gram to print and printed in like a minute. The actual diameter of this model is 9.75mm so there is some clearance when inserting it into the 10mm cutout.
The author marked this model as their own original creation.