NYSE: RIG 13.380.17 -1.25% 12:30 p.m.¬†ET