i just want to know if my dish would work with the sonicview 4000 receiver