I'm very happy to tell you that Idealman's tip of leaving WD-40 on the pin then pulling it up and down with pliers worked :) It didn't at first, but when I went back later to bash it with a hammer (what the heck, we'dbooked a plumber to replace the valve), the pin sprang back up again after I...