My advice is get a plumber out there and have them replace every one of those in the house. Those things fail over time and you don’t want to be in a position where you don’t have working ones when you need them. You could save money and do it yourself if you know what you are doing.