That’s still only 0.034% of its market cap, it would simply be a slap on the wrist even if they lose.