I believe that you are ok and do not need to do anything. It is perhaps confusing but there appears to be a difference between k8 and k9 in the licensing (k8 gets DES but not 3DES/AES while k9 gets 3DES/AES) and you have the k9 license (since 3DES/AES is enabled). However in the software there is only the k8 image file. I checked in the software download pages on the Cisco web site and there are no k9 images listed, only k8 images.
So I believe that your company received what it purchased and there is no need to do anything special.
Table of ContentsIntroductionVersion HistoryPossible Future
UpdatesDocuments PurposeNAT Operation in ASA 8.3+ SectionsRule Types
Network Object NATTwice NAT / Manual NATRule Types used per SectionNAT
Types used with Twice NAT / Manual NAT and Network Obje...
Table of Contents Introduction:This document describes details on how
NAT-T works. Background: ESP encrypts all critical information,
encapsulating the entire inner TCP/UDP datagram within an ESP header.
ESP is an IP protocol in the same sense that TCP an...