No, everything is under 23.98 in settings and footage frame rate.
I also don't think it's a bug as the BM x264 connector works.
You can download sample red files (I was working in this format) here:
You should be able to re-produce by adding multiple R3D clips into one timeline. Then go to render page, select individual clips and use source name for file name.