I agree with this. We juse sold a 2006 JV3-130SPII for $3500 with a 54" Royal sovereign laminator, and the printer was in perfect condition, so I think the price your seller is asking is high.
And I also agree with artbot, for a few thousand more, seek out a good JV33, it's a much better machine all around (not that the JV3 is bad, it's killer, but the JV33 is a significant leap forward).