Save yourself the trouble and buy them both. You will want them both in your collection anyway. =)

$4k is steep for an IJ. I found mine in rough shape for $2500, but I did most the restoration and shopping myself. Ended up spending another couple hundred on decals, parts, bi-plane, and board repair. All told, still under $3k.

Good pins at great prices don't last. A TZ came up for sale in my area last week for $3250 and sold within 2 hours of the post. A Batman forever came up for $1400 and same thing. Sold as soon as the post hit the classifieds. SL,UT seems to have quite a few people watching for good titles at fair prices. They sell as soon as they are listed.

Addam's family would be an awesome first pin.

You should either try and talk him down, or ask him to clean it up for you. $3200 is a fair price, but for a shopped one. If you hire a technician to do the shop job for you, it will probably be another $400 to clean it up. Looks like it needs a least new rubbers, a good clean and wax, and probably has some lights and switches that need to be fixed.

That looks like it would be a good machine, but it is going to need some elbow grease if you are going to be happy with it. It isn't perfect, but I have seen a lot worse.

Congratulations, post some pics!