AKAIK, only the 5010/6010's have a mode that will accommodate an anamorphic lens (ie. vertical stretch mode). You should check into that before you move on. If you can afford it and can return it, I'd suggest getting the 5010 which I'm pretty sure has anamorphic stretch and definitely has lens shift.
I have an Optoma HD3300 which has anamorphic stretch mode and it works in 3D as well (pretty amazing). That said, I think the image I have is too large for 3D. It's fine for 2D but in 3D some of the high speed scenes get pretty damned nauseating. Best overall 3D experience I've ever had, though, bar none. Christmas Carol 3D with Jim Carrey one of the most amazing things I've seen in my home theater.