Are you guys sure of the projector's diameter? I want to order an upgraded lens but don't know the proper size