I agree. At their scale, that fine is a ‘cost of doing business’ tax.

It also seems likely that number will be litigated down to something much smaller by the time the legal dust settles.