Glue gun trigger peice replacement

This piece of plastic in the picture is used to push the gluestick when you push the trigger button. If you have a similar one that is broken, you could print this replacement part.

It's much thicker and stronger