The amount of manufacturers putting out new machines now and the fact that all of them now have an lcd will eventually bring down the prices for the dmd ones. Let's hope so because this is getting insane..
I sold my ACDC premium last year for 6500 euros and I see them for sale now for 7500.
p.s. No machine is worth 9k.