The HP 16" EliteBook 665 G11 Notebook costs $1500. That means this $600k "cost cutting" measure starts to decrease revenue if only 400 people buy a laptop from a different brand.

Or even a single person. Someone tasked to purchase 400 laptops for a company, reads this news and decides to get ThinkPads instead...

Sell the CEO private jet if they really need the money