Agreed. However, some extra notes:
That 3.8W spec is for the CX3, not total system power. Even with ASPM (etc), the total system's power increase will be theoretically higher than 3.8W (loss in PSU, more SoC/NB resources to support maintaining a PCIe link, etc). Mellanox/Nvidia specs usually...