Ah, right - I guess I'm just so skeptical of the claims that didn't think of it. I expect self-driving cars to be driving like a cautious human driver for at least 5 years. If we get to the point where they're in fact driving closer together, then there is indeed an argument for letting them in the HOV lanes.