NYSE: RIG 13.830.34 -2.33% 11:30 a.m.¬†ET