Parametric push pin

Use customizer, or set the diameter in OpenSCAD along with other parameters for the pin size, base thickness and height. It works with 0.15mm resolution. Probably loose in 0.1mm, so 0.4mm space would be better.