On my second Aqua Magic Style 11 Plus. The foot pedal problem is well known. The spring on the pedal also weakens over time and becomes useless. You cannot order the spring separately (the last time I checked). In 7 years of full timing I have replaced 5 toilets......did repairs on a few but for the time and effort felt $100-$150 for a new one was my best option.(others have different opinions) The longest lasting one I ever had was the cheapest plastic one I could find....3 years. In the case of rv toilets simple is best IMO. The worst one I had was a Dometic electric flush.