but just because the driver exists on the HCL doesn't necessarily mean that it will be included in the esxi GA bits, correct?
Correct. Also, keep in mind that because 7.0 is so new, some entries on the HCL are not fully accurate. You should take that into consideration before buying, and if possible wait for a while.