Pneumatic Belt File Sander - Which One?

but wouldn't pop back out
I thought I had the same issue as I did not know about the push button at this point.

I disassembled it and sanded down some parts that slide past each other. Added some dry lube and.... found the button!

But it slides in and out much better now!