Some of the Tesla robotaxi deployments have relied on HD maps too, or at least they were spotted extensively lidar mapping Austin.
Images of the cars screens show "project rodeo controls" is the only reason I say that we know these are validation vs mapping.