If you are running an HA pair - I understand you will need 2 FPR1K-ASASC-5 licenses Do you also need a different Smart Net license to cover that license? I have had issues with Cisco Licensing in the past and want to make sure the license is transfe...