We need another printer and I just today got a quote on a new JV33-160 for $15,300, not including delivery/install/tax (expect another $1500-2000 for that, and frankly unless you've never seen a printer before, install it yourself, it's about the easiest thing in the world to do). Paid $16,800 for my other JV33 about 18 months ago. Paid $23,500 for my JV3-130 5 years ago... Actually, I'm pulling the trigger on an Epson GS6000 because my go-to vendor is giving me a killer hookup on one, I'll just say it's less than the JV33 so it's hard to turn down even though I'm a BIG fan of the JV33.
If you're in the market for a JV3 I've got one that prints great and is in excellent condition I'm getting ready to list for sale... Probably around $4k OBO. Just throwing it out there...