Great analysis, and I suspect your estimate is quite close to the actual payout amount.
Surprising to see tha price still hovering at $25, but there are a lot of idiots out there who don't understand what this settlement means, including one at Motley Fool: