Some of the Tesla robotaxi deployments have relied on HD maps too, or at least they were spotted extensively lidar mapping Austin.