If you program a DISH remote to work your TV before setting it up for another component (i.e., DVD, stereo receiver, etc.) the AUX button will do just what you say - it becomes a TV "Power" button.
If you want the AUX function to operate anything else see the list of codes in the manual.