I have owned lots and lots of ARC gear, (and still own several pieces). I have always used the XLR, (balanced) inputs and outputs when available. I have never had to order any "special" configuration of balanced cables. I would assume that ARC uses the standard pinouts for XLR, which is the way you have them listed above.
I would give Leonard at ARC a call to confirm, but I'm pretty sure that they use the standard.
I would give Leonard at ARC a call to confirm, but I'm pretty sure that they use the standard.