I don't know. My guess is that it quietly goes away. If I am wrong then we'll find out, probably in a PR from the new CEO outlining his plans to re-market the stuff.