We know they'll sell at $3.95. I'll buy 1,000 at $3.51 but it's an AON deal. Intrigued to see how many shares they have.