Tomas

Mine broke and there is no option to buy replacement so I created this,
press out old plastic, print new one, tap it and glue it in place.

Enjoy!