Like I said, if you only plug in one car, it can get 48A. As long as the second car is plugged in, it will reserve 6A. In your situation, that doesn't matter because 48A+6A < 80A. If both cars are actively charging, they will each get 40A.
As a practical matter, I would not change anything if I...