I just tried using the Teflon tape. It seems to work! I wrapped the tape around the push-pin a few times until the tape started to stick. I’ve tested for about 30 minutes with the container on its side, and no water has leaked out so far, whereas it used to leak at around 2 drops per second. Conrad, yes the push-pin in my container is very similar to your posted images. For context, my container is a Reliance Aquapak 10L container. Unfortunately, without the teflon, it would leak even while my finger was applying pressure to the push-pin. So far, it doesn’t look like I’ll be needing to use hot glue. And a simple piece of tape to keep the push-pin in place should be enough, since the Teflon tape seems to be enough to stop the leak. I never ended up trying this, but another idea I had was to use plumber’s putty to seal the connection between the push-pin and the container. Just another idea for others reading this, if the Teflon tape doesn’t work.