Red Camera

Are R3D or Red Camera Raw files allowed for upload on P5 and or SS?

Apparently https://www.pond5.com/ja/stock-footage/40220877

But some people are confused. Some people are flying around with RED EPICs and asking $10-$79 for the resultant clips.

Geez.

Now, I wonder, Mr. Physics ... why do you ask? Hmmm?

Oh not sure yet. Just wondering if a Red file converted to Pjpeg would be ten times bigger and at a loss of quality.