They left it small so that it wouldn’t be worth it to fight in court and they’d either just settle for a license fee or pay the fine. But sounds like the best way would be to get the patents revoked, but that’s probably more expensive than just paying the fine due to the legal fees.