I went there -- they do not have a TV1 UHF Remote for the 522. :no
I've seen the menu option, but it basically allows you to change whether TV1 will be controlled with an IR remote or with a UHF Pro remote. Not sure this will help me (except I'll need to do this once I find a TV1 UHF...