AE4000 or W1070 or HD25LV

[yusuf]

I am upgrading my projector. I was choosing between W1070 or HD25LV and then one used AE4000 popped up.

Dealer quoted around 90K for W1070, around 80K for HD25LV and 70K for lightly used AE4000

What do you recommend? Also, how much would you pay for an used AE4000.

My main usage is movies and 2D content so far.

Thanks