NYSE: RIG 8.940.55 -5.80% 4:02 p.m.¬†ET