Hi. We recently bought 6 new Precision 5820 workstations, and I saw it has a Thunderbolt section in the BIOS, but the 2 USB-C ports on the front do not have the lightning logo next to them, usually signifying a Thunderbolt port. I'm looking at buying a Thunderbolt 3 (over USB-C) external RAID storage enclosure for one of them, and need to make sure these do have Thunderbolt ready to go. Does anyone know? Thanks.