Thousands to tens of thousands per car? I think you're off by an order of magnitude.
247 karma · joined February 10, 2015
However, you also paid of that $240k by earning at least $80k / year.
And surely you can do NAT with IPv6, Google for NAT66, but your average Linux box can do it. It's just almost never needed.
Submitted link is citing this one...
(That's my personal guess at least, not related to that team)
I was impressed by it, but one should not forget that at the same time this was built the Great Pyramid was already 300 years old.