Hopefully I'm not wrong, as we've just bought the licences to do this, haven't got round to setting it up for a number of good reasons.
However, our CheckPoint reseller said that we needed to have a matching licence for our existing Pro Management Server, since the Pro licence includes the HA management feature.
However, if you're using a UTM Management Management server licence, you may have to buy an additional HA management licence as well as a second UTM Management server licence.
Check out here for the features available to you (
https://pricelist.checkpoint.com/pri...enerallist.jsp) with your current licence, hopefully this might give you an indication of what's needed