“do these Sennheiser RS 175 headphones work with the Sennheiser RS 180 system?”