The remote I linked to above is a One For All Evolve URC7115 so it should be a good brand. :)

Based on your test that a number keypad will work on TCL Roku TV, I decided to take a chance on buying one. About $25 due to tax and free shipping from here:   [Link: shop4megastore.com]

If it doesn't work, I'm not out much.  I won't be able to try it until April when I go back.   Wish I could find that remote here.