GPIO Pins available on P702 MCB

Hello,

Once an RPi is mated to the rev5.3 MCB, are all GPIO pins of the RPi left available through P702 or are some used by magni services or other onboard software?

I am looking to access GPIO 4, 19 and 26 and was wondering if there is a possibility of a GPIO collision with other software that I am unaware of once the Pi is connected to the MCB.

Regards
Slav

Here’s the entire list of pins used: Raspberry Pi Computer - Magni Documentation

The sonar board takes up a fair bit, but if you’re not using it and the pi_sonar node isn’t running then they’re also free to use.