Wow that is some premium equipment my friend! All the best to you!
You probably know of chucks astrophotography on YouTube, he has a setup like this one.
https://youtube.com/@ChucksAstrophotography
I think he uses a ZWO ASI533mc pro camera with this setup. Of course he is very experienced and his processing skills are second to none so don't go comparing your images to his
If you're going to go for the asi air then polar alignment shouldn't be a problem. Otherwise you can use sharpcap (pro version) and just connect your camera and mount to a laptop and get started with polar alignment, image acquisition plus stacking and even plate solving is a breeze if you connect your mount using ascom/eqmod
I'm only a beginner myself but I can guide you as much as I know.......which is very little admittedly
