You most likely want to stick to LCD projectors. The Epson 2150 might be a good choice as it has $50 replacement lamps and should be no brighter then the 5030 but with lower contrast. Assuming placement isn't an issue as the 2150 has a lot less placement flexibility compared to the 5030. A refurbished 5030 is around your price range.
"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