really a symbol change would force shorts to buy back? someone should look into this. Also is there only 4mil in shorts?