Hi,Three years ago I've bought a PIX Bundle and I received 2 PIX hardwares for a high available solution. Now I bought a ASA5520 Bundle (ASA5520-BUN-K9) and I received just 1 ASA hardware, is it right ??? As I need high availability, may I have to bu...