Do understand for true light control requires the rooms ceiling and walls to be a dark none reflective surface as just the light from the projector alone will light up the room with say a white ceiling. If is really light controlled I would make every effort to snag a Epson 5040 refurbed. All the projectors on your list have very poor contrast. As far as HDR no projector can really display it as it needs to be tone mapped either by the projector or externally and the 3550 is the first 4K DLP that does a decent job at it. If the Epson is not an option personally I would forget 4K and get something like a BenQ 2050a. You also need to give us a range of room dimensions , screen sizes, screen AR, throw range, seating distance as all are a factor in projector selection.
"Smart enough to know better, to old to care" ------ Dedicated Bat Cave Home Theater, JVC RS49U/Mitsubishi HC7900DW Projector, 110" 16:9 Jamestown screen with variable power masking for CIW 2.50:1 to 16:9, Marantz 7009 with 7.1.4 Atmos with Ohm mains,3 DIY Subs (2 15" (1 ported, 1 sealed and a 12" 4th order bandpass), 1 DIY butt kicker, Custom Built HTPC, 18TB DroboFS NAS