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.