I guess I'll take a crack at it...by my quick estimate the package should be around $7,000-$7,500. I would consider this a realistic, private party price. If the guy wanted to piece them out and was fine with advertising them all over the place, he could obviously get more. The shorter restored pumps are only worth on average $700 or so, the Bowser and Tok. 39, $1200 more or less, and I'd put the 76 at about $1500. The pictures make me believe that they are ok restorations but nothing to go bragging to mom about. If I was buying them to make money, I'd want to be in to them $5000 or less. You might have to educate him a little about how hard it is to sell restored pumps sometimes...good luck.