A mate of mine has just bought an Acer P7280, but needs a lense to extend the focal length as it is different from his previous projector.  We don't really want to move the mount, and Acer don't sell lenses.

Any third party ones available, or any other suggestions?