They run 4000 VMS as a stingy aerospace company so you can definitely assume less than a 100 physical machines.
Without further enterprise negotiations, it's 1800 per host/year. $180k max.
I don't blame Vates for refusing to chase down the company. They'll bring you way more pain as paying clients than the shameless theft they're perpetuating.
They were engaged, but never officially married.
https://people.com/elizabeth-holmes-relationship-billy-evans...