Parametric push pin by CuriousTech
Published on October 15, 2017
www.thingiverse.com/thing:2587691
Creative Commons - Attribution