The production actually had three of them shooting at the same time, along side an Amira and Alexa mini.
I'm not positive which Arri models were used because John was shooting mostly with the 4.6. I also got sent some of the dailies from the 4.6 and they looked crazy good. And without any issues. And being dailies I know no one spent time trying to correct issues with the image.
It was crazy cool to see the chaos of a set that big with everyone running around doing task right before rolling, and then out of nowhere you would here "lock it up", it was echoed numerous times, and then nothing but silence and everyone back in their little stations waiting for the director to start barking calls.
Out of all of this John could have easily invited me on set and told me to sit in one area and stay quiet and not to talk to anyone. But that wasn't the case. I was allowed to walk around freely. The crew was probably the friendliest people I've met, always introducing theirselves and making conversations with me. John was constantly calling me over to whatever camera he was at and chatting me up. What surprised me the most was anyone who came by to ask John something or hangout, John firstly introduced me to whoever it was, AC, Director, AD, etc. It didn't matter, I was a guest and he literally treated me like one. Super nice guy.
Oh and to add on to this, It was a "stunts" day of shooting. So complete and total chaos, with car chases, guns firing, planes blowing up. So pretty much the craziest day of shooting.