I bought an old Texas Star DX400 that was missing a push button cover.
https://www.youtube.com/watch?v=dpj3rR1Ge_k