Product review (4 stars): Pull up the online manual, save a lot of money
These replacement switches are the same as the originals: I was surprised that it failed in less than ten years; & it takes some considerable work to remove & replace them. But it's well worth the DIY, because the authorized service would cost about $200. The key to removing the shield is a torx T20 bit to remove the middle screw. It's going to be really tight.