“does it work with all westinghouse tv models?”