So I'm getting a Dish Network setup, and the receiver I'm getting (A JVC 7222?) is supposed to have built in PVR capabilities. Anyone know if it's actually re-encoding the digital stream, or is it ...