That’s going to get you basically the same number unless you think most of those 400k customers do not have contracts for some reason? My revenue-based approach would undercount in-year bookings but your approach would undercount NRR which I suspect is nontrivial for VMWare (but I haven’t checked).
Also just to be clear I agree with your initial comment - there are lots of reasons even big customers can be worth repricing based on their true costs and strategic relevance. And at less than 0.1% of revenue VMWare can certainly afford to risk it.
It should be:
(Contract_1_yearly+...+Contract_n_yearly)/num_contracts
Anyhow the customer signed the deal (https://twitter.com/cioontherun/status/1761882689886433742), implying they were underpaying and had the capacity to pay the true rate.