In my opinion you have two options. One is to wait until someone comes up with a short throw UHD projector and live with the BenQ for now if it comes back to life with the new lamp or redo the ceiling. I would wait for the dust to settle on 4K myself. I think any other solution would look odd with the ceiling the way it is.
"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