Pyxis: Zoom control?

Will the Pyxis EF allow Zoom control (on the same lenses wich can be controlled on the Pockets)? The Specs are curiously different:

Pocket 6K Pro:
Lens Mount Active EF mount
Lens Control Iris, focus and zoom on supported lenses

Pocket 6K G2
Lens Mount Active EF mount
Lens Control Iris, focus and zoom on supported lenses

Pyxis 6K EF
Lens Mount Active, locking EF lens mount
Lens Control Iris and focus on supported lenses

Our Setup for HD livestreams: 7x Canon COMPACT-SERVO 18-80MM / 70-200 T4.4 EF lenses, controlled by Atem on Pocket 6Ks, mounted on Ronin RS4 Pro, PTZ control via Middle Control APC-R / Mini

We would love to upgrade to a 4K workflow, if we can balance the Pyxis on the gimbals (tbc), and we still can control pan / tilt / zoom / iris / focus... The rest of our gear is 4K ready.

What we do: https://www.youtube.com/@EnsembleMusikfabrik/streams

Camera options considered:

Studio 6K Pro: doesn't balance on the Gimbals
Studio 4K Pro: no EF-Mount
Micro Studio: no EF-Mount, controllable lenses for this camera not good enough for our concert videography
Pocket 6K series: no 4K output

Why 4K?

No post-production for publication of separate music pieces needed
Quality upgrade

FWIW the Canon lenses should work on the Micro G2s with a Metabones. They work on the 4k pocket and the 4k studio cams but I believe they need 5v external power to drive the zoom servo.

Good Luck