The ok button must work or he would not be able to set up the reminder.
Since it doesn't work with any of his remotes it's a software issue
A reset might fix it
The whole point was to see if there were any issues connecting from power off
Three minutes ...lol
I just powered on my 4000 and it was 1:03 from off to tv program playing
Is the time correct at top right ?
If it is go to menu settings configuration epg offset
If not go settings date and time ,set time zone and adjust your time