[benjburton]

Very clever fix and great resource for the forum! When mine broke last year and I couldn't fix it, I broke down and paid a ridiculous amount, probably more than I originally paid for the toilet, for the manual pump. At least it works better than the electric pump ever did.