There are a lot of $10k penalties. This bunch had better see a fine of $10K as well.
They were fined $17K in 2008. Was that fine ever paid?
I’m guessing it wasn’t.
This is like getting caught for speeding, getting the ticket fixed, then going back on the road and going even faster knowing you can’t be touched. (Pun not intended, or maybe it was, heh, heh.)