If it has no playfield wear or broken plastics and is in good shape, that price isn't too bad, I would try to get him down to $2000
It is a very cheap game to shop out as it has steel ramps, basically tear down replace rubbers, pop bumper assembly's, rebuild flippers, star posts and coils sleeves. Definitely was the easiest and fastest of my games to restore.
A fully shopped and decaled one should fetch $3000 -$3500 you can't go too far wrong.
Very popular game as most people can remember these, every fish and chip shop in Australia had one