I have a Philips DVDR725 which performs very well off aerial and Sky feeds. A friend is considering purchasing the same machine (or an HDRW720) but he has a very poor aerial signal and this cannot be improved. He does, however, also have a Sky digibox. Although Eurosport is cited as a source of Guideplus updates, the manual does not explain if it can be set as default. Can anyone please advise if the Philips machines can be set to update automatically from Sky? If so, how? Thank you.