Every.single.projector. In that place had masking. Granted this is Disney and can have anything made with a swipe of a pen. However I highly DOUBT they are the ones making the masking system.
I would be looking on the commercial side more then the residential side. I would call DPI.
Worst case, find someone with a 3D printer and have it made
The Bitterness of Poor Quality is Remembered Long after the Sweetness of Price is Forgotten! - Benjamin Franklin