actually no, you don't know what they hold at any given moment
What price do you think it'll be if Icahn Dumps all of his shares? It'll be big news and the price will be $1. Maybe he dumps a little at a time? Why? To break even or take a loss? Come on, these guys are not in the game to lose. It's an educated bet he still has all his shares and wants to see this through.