I don’t think the “AUX” button can be programmed to control a receiver. I recall trying to do that years ago using my 508 remote, but without success. I’d like to be proven wrong, though. Maybe there's an undocumented solution
DISH provides the 501/508 instruction manual here.
In case you...