85% of STRP final price? Minus a 20% penalty to the FCC, minus $250M for transaction costs? Maybe something in the $2.1 -$2.4B range?