Metric magnets are very difficult to source in the States, usually requiring long shipping delays to come from China. 10mm x 5mm N52 disc magnets are especially hard to find, so I decided to tweak the design of this Thing to use 7/16" x 3/16" N52 disc magnets, which I obtained from here:
https://www.kjmagnetics.com/proddetail.asp?prod=D73-N52
Because they're slightly larger than 10mm x 5mm magnets, I modified the two parts with magnets to accommodate the extra diameter; the hose adapter is the same so please refer to the original Thing for that file.