InFocus designed the IN5310a series to include a standard lens but offer optional, interchangeable short throw and long throw lenses. They are rated 24/7/365 operation and are filter-less. Video connectivity includes HDMI, DisplayPort, DVI-D, VGA and five BNC inputs as well as control via RS232c port and an RJ45 port to enable monitoring and control over a network.
The IN5312a and the IN5316HDa differ only in lumen count and resolution. The IN5312a delivers 6000 lumens and XGA (1024×768) resolution while the IN5316HDa provides 5000 lumens with native 1080p high-definition (1920×1080) resolution.
Specs for the IN5312a are here and the IN5316HDa specs are here.