I heard that the Samsung UE55D8000 can use the HDD output and so become a PVR, able to schedule future recordings. Is this true? Andy