ATEM Mini Pro or ATEM TV Studio Pro 4K for Livestreaming

ATEM Mini Pro or ATEM TV Studio Pro 4K
My company has been incorporating Livestreams into our mission for the past couple of months. We would like to up our game and use more than a single camera angle. We have three Canon XA25s, that have both HDMI and SDI outputs. We have been running a single camcorder to an Elgato 4K capture card then using OBS as our streaming software. We are using digital audio through Dante protocol and will continue to do so, which sort of cancels out the need for the software mixer provided in the ATEM software.
We would like to have multi camera functionality and continue to use OBS without needing multiple capture cards. I have watched several videos/tutorials on the ATEM Mini Pro and I think this is our best solution but our Audio Engineer is pushing for the TV Studio Pro 4K. I agree it’s a more powerful unit but it does not seem to function with OBS, which our team has already learned. I realize both units have keying options and can utilize graphics built in Photoshop. I just need some clarity on if we can easily run OBS with ATEM TV Studio Pro. It also does not look like the unit has a USB direct out which the Mini does.
I’m also under the impression that the TV Studio Pro is more for live arena events, television studios or recording programming and not necessarily streaming.
So which would be the better choice the Mini Pro or TV Studio Pro 4K?
My company has been incorporating Livestreams into our mission for the past couple of months. We would like to up our game and use more than a single camera angle. We have three Canon XA25s, that have both HDMI and SDI outputs. We have been running a single camcorder to an Elgato 4K capture card then using OBS as our streaming software. We are using digital audio through Dante protocol and will continue to do so, which sort of cancels out the need for the software mixer provided in the ATEM software.
We would like to have multi camera functionality and continue to use OBS without needing multiple capture cards. I have watched several videos/tutorials on the ATEM Mini Pro and I think this is our best solution but our Audio Engineer is pushing for the TV Studio Pro 4K. I agree it’s a more powerful unit but it does not seem to function with OBS, which our team has already learned. I realize both units have keying options and can utilize graphics built in Photoshop. I just need some clarity on if we can easily run OBS with ATEM TV Studio Pro. It also does not look like the unit has a USB direct out which the Mini does.
I’m also under the impression that the TV Studio Pro is more for live arena events, television studios or recording programming and not necessarily streaming.
So which would be the better choice the Mini Pro or TV Studio Pro 4K?