If Pike sold down to below 10% he would still have to file the transaction(s) that got him there.
If the OS was closer to the 2,5 billion that many here think, leaving PIKE with less than 10%, would they still need to file, if they were aware of that new, higher number?