My 84 year old father still has/uses 2 512 receivers. He recently got a nice HD TV so, I was considering getting him a 612 to go with that TV. If the 512s are working fine would it be as simple as swapping out the receivers or would anything need to be changed at the Dish for the 612? Thanks!