The TW7000 vs. 7100 appear to be the EU versions of the 3200 and 3800 models which have a long list of reviews on them. I REALLY wish they would keep similar naming conventions internationally. Panasonic used to do this with models like the PT-L300U and the PT-L300E. U for USA, E for Europe. Nice and easy. Now, it's always jumping through hoops.
The Epson models will have similar contrast to the BenQ, but will not have any potential for rainbow effect, and they support and accept full 18Gb/s 4K signals over HDMI. They are well reviewed and so far have proven to be solidly reliable. The BenQ appears to be the 2150ST which has a few years under its belt. I'm not sure I would go that route over the 690ST, which is a LED version of the 2150ST with 4K support (but it is native 1080p).
Likewise, the 1070+ will offer a very similar image to the 1210ST with slightly longer throw distance. The 1210ST is short throw, and will need the mount substantially closer than where it is now.
I owned a w1070 for years, and loved it. I sold it, then was bugged by that decision, so I bought a used w1070 again to have as a backup to my JVC projector. I'm a huge fan of what BenQ has done with their 1080p models.
I've also installed several Epson projectors in recent years. From the 3800 to the 4010 and 5050UB models, I've seen a lot of Epson and I haven't had any customers complain about quality. So, I'm thinking that reliability isn't a huge issue here.
Is the 7000/7100 better than the BenQ? IMO, not really better. It does have a LOT more flexibility in the lens, and it will be brighter. As well, Epson now manufactures the lamps for these models, so Epson original replacement lamps are about $100 and are THE WAY TO GO for replacement lamps. A top reason LCD panels/polarizers burn out is due to third party manufactured lamps which run overly hot and damage the internal optics. That, and bad airflow because people don't clean their air filters.
It is getting more and more difficult for me to recommend non-solid state projectors. Epson has been, and will remain, slow to convert to solid state since they have brought their lamp pricing down so much. But, BenQ still charges $200+ for a factory original replacement lamp. Meanwhile, for $200 more, the new BenQ TH690 is on the market for about $1,000 (US) and is a solid state LED projector. The headache for you is that it really may not be as bright as you want.
In testing in the USA, the 3800 (7100 for you) is a fair bit brighter than the 3200 (7000) model. So, most people do opt for the brighter 3800 model.
If you will have issues moving your projector mount location, the Epson may also be a better way to go. I really like the 7100 and if you read on multiple forums, you will find that the Epson 3800 has very favorable owner ratings.