DANG! Thats NICE!! I have not really looked in years since my stuff is still working, but I think I need to look again, for 4K, bright, massive hurts (lol), around $1.5K, just wow!
Of the projectors I have owned all my years, I have found if going DLP, its Optoma, hell I have a unit still, that works, with almost 10K on its bulb when I think it was rated at 6k, and even though the color wheel broke after several years of constant use, was cheap and easy to replace. If it is going to be LCD, then nothing but Epson will do, and can usually get a hella deal on anything epson really, from their closeout/refurb e-store, bought almost all my epson printer from there.
But wow, sdifox, you seen any good laser units yet I should dive into? Bulbs are getting better, but a LED or Laser is really where it is at the last time I looked for its around 20-25K hrs, if a laser, and around 40-50K if LED, and since it is used for about 8-12 hrs a day, it really needs to have tons of hrs, or that and super cheap replacements for the light source.