Just in case some other poor soul comes across this thread in search of an easy way to repair their old Push-pull valve, rebuild kits are available online. I just ordered one and will be attempting the repair. The kit is here https://www.nyrpcorp.com/american-standard-rebuild-kit-n1030-kit