[jjallen]

It was likely known about and also is a small percent of the market cap. The present value will also be reduced by the time value of money, which is not inconsequential over the quite a few years this will take to settle.