I'd go with the 2nd one out of those 3 - highest lumens and contrast ratio - it looks like you pay extra on the first one for the possibility of serial control through Creston, etc.
Also the 2nd one gives you the longest advertised bulb life, so should help reduce overall operation costs.
Laser projectors start around $4000, so those would be out of your budget