Hello, Can you tell me if the Dreambox DM800 HD PVR is compatible with the BIS TV card? Is there a manipulation to do? thank you