Decrypting tcpdumps in Wireshark without key files (such as when FIPS is in use)

Problem this snippet solves: This procedure allows you to decrypt a tcpdump made on the F5 without requiring access to the key file. Despite multiple F5 pages that claim to document this procedure, ...