Yes, this is correct behaviour, you need to upgrade both licences to 3DES. The licences on each PIX are separate and are based on their serial number. Not sure if you have to purchase the 2nd licence, talk to your account team about that.
If it fails over currently then the failover PIX won't be able to do any 3DES.