Product review (5 stars): Works great!
Amazon sells a model of the WB23X33 that is a little cheaper, but I opted for the more expensive one because the picture looked more like the original. Also this switch was advertised as OEM which was the deal breaker for me. Be careful and take your time when replacing the switch, which looks more complicated than it really is.