Affordable high brightness laser Optomas

Hello, does anyone have experience with 3k-4k lumen DLP laser projectors from Optoma? In Europe some of them can be had for less than 900€ which seems like a good deal for semi-dark rooms. PK52, HZ147X, HZ41HDR,...