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.