February 12, 2017 at 9:29 pm #1372 PJ HaarsmaKeymaster No it’s a good tip, and helps us modify for the more expensive toilets to make them worth it.