4 ms·800k tons of mud probably just made electronics a little more expensive7 points by Bender 1y ago