Are dual flush toilets harder to fix?