About this 3D model

A pusher button broke and fell off, so I needed to get a replacement. Just pushing and screwing it on top of a metal pin worked well in my case. May benefit from some threading if you have a screw small enough.