That's, what? Half an hour of operation to them?
It's 5 minutes of revenue. They made it back 12X since an hour ago when the article hit HN. For comparison, for a person making $100K per year, the fine was less than a dollar.
'revenue' is not a complement to 'made it back', you have to look at profit for that.