A BP oil pipeline in Alaska leaked "a mixture of methanol and oily produced water" on Saturday during routine summer maintenance, but no more than 4,200 gallons spilled out (probably).