Well 77 kWh actually, if you want to compare like for like.Why is it capped at 80 kWh? You bought a 85 kWh battery with your car.
I know - 85 was 81 bla bla bla bla - but hey, now they have installed a battery that can actually give you the 85 kWh you bought, so why cap it to 80?
I am perfectly happy with this, that is just the industry standard for specifying batteries.
I never bought a car with 85kWh available, I understood and expected this when placing the order 9 years ago.
The new battery is better than my old one in every measurable way, I am certainly not going to ask Tesla for more.
Lucky for you that yours was not capped, enjoy it.