There's no way that you would want to use a RPP or any other type of cinema lens on a projector. The lenses are typically designed for projecting an image on a projector. I've attached a picture of the rear element of a projector lens with a pen to use as size reference.
Personally I think the projector that RED had out in the case was just to give people an idea. Not what they actually used to project the images.