“what brand name do I choose to program the remote? Westinghouse does not work”