If you actually care about quality, the BenQ W1070 is the best model on the market under $1,800 or so. It uses a RGB/RGB color wheel of higher speed than Optoma and generates better colors, with less noise in the image, with outstanding color brightness.
The Optoma models are good, but all use 2x color wheels which increases RBE issues, and lowers color quality output, while their models introduce more noise into the image, especially with black levels. While they do have better black levels, the noise in the image can be a distraction.
The HD131x and the HD25e, from what I have read, are identical models. Despite some claims to the contrary from the manufacturer, it seems to be the same guts on both.
I would be looking at quality first myself, which means the W1070 or spend a bit more and get the added quality and features of the Panasonic AE8000 which is closer to the $2,000 price point.