how are we supposed to type the hex digits a-f when entering PINs?

Um, I'd say that you should choose to only name your PINs with decimal digits.

Since: a) you are the one making the PINs (you have to enter them yourself into emplode), and b) you can only enter PINs with the remote control, then it's a self-correcting system. Assign PINs that work.

The only odd thing is that Emplode shouldn't allow you to enter alphabetic PINs. Does it?

___________
Tony Fabris