Well there are some pretty good ones out there but they start to get pretty expensive after 200 lumens. LOL. The choices you got are something I'd go with. the P300 you can get for really cheap from aaxa. I think around $349 from their reviewIT thing.
Heres link-> aaxatech . com/reviewprogram.htm
if you want to go to something else I also like the optoma over vivitek. But you can't really go wrong with the options you're considering.