oh, it works, but suddenly, although it would record both TV and radio programs, it was unable to open and playback any radio progs.
I wasted a long time with Samsung customer support, including remote access and screenshots to take to their tech spec, who passed back the message that my hard drive must be failing and I should buy a hard PVR instead. Load of cobblers, because all the TV progs still work, and the "info" on the radio progs shows their title, run time, date etc.