if the whole piano is flat then the piano will sound in tune with itself.
He should have put sandpaper in the hole or bought an oversized pin or something. The dealership gave me $800 off this piano versus the one at the mall store; there had to be something wrong, it wasn't the finish.
Thanks for the tips, I think I'll try the Baldwin trick of stuffing a shim of sandpaper in the hole first. I'm putting the job off until I remember to buy a nylon head hammer. I really don't think a Craftsman steel ball peen hammer is the right tool for removing and replacing pins. I'm a bit nervous about extracting the pin without putting grooves in it, too. Vice grip leaves marks. I'm starting to practice the two piano