Red lens on a BMCC 4K

My question is this... Has anyone ever tried using a Red Lens on the BMCC 4k? We have an older Red One with the Red Pro Zoom. Since it is a PL mount I should technically be able to use it on the PL mount BMCC4k, no? Just curious if there would be any issues?

The PL mount on the BMPC4K (and on BMCC - BMCC is the 2.5K cinema camera. BMPC4K is the 4K, just so we are clear) is industry standard. So any Super35mm PL mount lens will work. Some Super16mm PL mount lenses, like the Zeiss Super Speed 25mm, will cover the sensor on the BMCC too.