What's the difference between selling now or at end of March? We've been here for 6 months or so. You've seen the daily price action. The downside is $3.xx and the upside is $15ish. Maybe you get lucky since filings do seem to be near.