According to Wikipedia, which gave
this as a source, the Navy SEALs have at some point adopted the HK45C. I was trying to find out more, but in true SEAL fashion, info about this is quite scarce (a Google search provided very little, the most entertaining, if uninformative, being an HKpro.com thread that had its members raving about the "awesome Mark 24 Mod 0" while no one bothered to tell them that "Mark 24 Mod 0" is the Navy designation for the SIG P226...
).
Now, I understand just as well as any of you that SEALs, being Tier 2 SOF, can get and carry most of what they want, but I was wondering if any of you knew anything beyond what the above CrimsonTrace site says.