Do most stock dual flush systems on toilet are made by WDI? I'm not talking about the pressure assist. I'm talking about the regular dual flush system that you press from on top of the tank.