[...trimmed text...]

Couple of things: I've routinely used an 11mm Craftsmen (yeah, from the 80's) flare nut wrench to accomplish the same thing. 12mm end works too. The later models have a slightly different valve cover... Login to read more.