“Is this TV compatible with DIRECTV remotes? If so, what is the remote code for DIRECTV? Thanks.”