Many thanks to Scott Greczkowski for posting the manual.
I read it, but couldn't glean the user interface for setting a DVR Timer.
Can you set a DVR Timer by:
a) selecting a TVGuide entry ?
b) specifying start/stop times (like an old VCR) ?
Thanks !
Craig