Re: How long does it take for HD channels to be added?

Thanks - when you say 'reboot' is that just power off, flick the switch at the back, wait a bit, power on again, or is there an actual reboot option in the menu somewhere?

(I did the on and off thing and the channels were still not available)