One of my front panel buttons (right button if I recall right) didn't usually release after press but I fixed that by untightening one of the display screws a bit. But this was more like a hardware issue than a software - so I've never experienced the sticking buttons bug (like that the software would have missed one key-release notification).

Serial #363, using faceplate buttons more frequently than the remote.

Kim