I am also wondering though there are still a few years as to what my next upgrade would be... How much does a decent true 4k or Laser projector cost and is it actually a good upgrade over the 9400
JVC has announced new models that will launch in a couple of months (new models aren't a big jump over the existing ones), so there will be good deals soon for current year and last gen models.