Anyone know if a ProjectionDesign Avielo Optix Superwide 235 projector will work with a ProjectionDesign F3 series EN15 lens. These projectors auto detect the type of lens installed and have motorized iris, focus and zoom, the list of lenses for the Avielo is EN 41, 42, 43, 44 which are higher quality lenses than the EN 15 I have which is for the F3 series projectors. Thing is I might be able to get a cheap Avielo Optix Superwide, but the lens it comes with is too long throw for my room.