Microstudio 4K G2 Lens

We're looking at replacing a Canon XA45 camcorder with a camera that has 12G SDI. The Canon is currently mounted above the booth about 70' from the stage and used for a fixed, full stage safety shot.
It looks like the Blackmagic MicroStudio 4K G2 would work quite well, but I'm not sure which lens we should be looking at. The Canon has 20x optical zoom which we use to reach the stage. Don't necessarily need to dynamically zoom once the shot has been set but don't know how to convert this into the right telefocal lens.
Suggestions?
It looks like the Blackmagic MicroStudio 4K G2 would work quite well, but I'm not sure which lens we should be looking at. The Canon has 20x optical zoom which we use to reach the stage. Don't necessarily need to dynamically zoom once the shot has been set but don't know how to convert this into the right telefocal lens.
Suggestions?