Sold RIG for $84.30. RIG missed the consensus earnings estimate in its last quarterly report, its second miss in the past twelve months. I'm happy to get out of it now at a slight (very slight) profit. I'll reevaluate it at leisure. I'll look for revenue growth before I buy again.