I would assume there will be a pr filing shortly, I know rs is the only concern. but it seems you can't have os higher than as. back in 2009 os was 1.9 billion. so they may have bought back, cancelled or done something else to reduce that number as discussed on other boards. We'll have to wait for an update.