Sold ROIC

Sold ROIC for $10.93. I may buy it back later at a lower price.