I'm thinking about getting a 722k and was wondering about recording shows from basic cable. I'm paying $5 for super-basic cable, and on it I get PBS HD, which we all know isn't available on Dish (get with it, Dish!!!). Is it possible to record shows from this PBS HD cable feed through an OTA module into a 722k? Currently the cable signal goes straight to my TV set--no cable box. I'm a Dish newb so I apologize ahead of time if this is a dumb question.