Yes, the gameshell is sending keyboard keystrokes. The keypad connects to the mainboard as a USB HID keyboard.
You can ssh into your gameshell and run this as root in terminal
showkey
It will output the keycodes of the buttons you press and you can use this list to see which button the keycode is: Understanding Router Login & IP Addresses | Your Networking Essentials