A sizable chunk of change indeed!
This is much better than a court loss many, many years ago where they were fined I believe $40,000 and no one was surprised when they did not give up doing what they were fined for. Gates kept amounts like that in his pocket.