[Xist]

I ended up removing the intake manifold and hammering a 13mm socket onto the 14mm bolt. I guess that it would have been easier to use the smaller English socket, since it would have been closer in size.

When I decided to break that nut I bought a replacement, but one of the others is somewhat stripped, so I will replace that tomorrow, and I cannot find another, but otherwise, everything is back together.

I will do a write-up later. I did not feel that I could find complete instructions anywhere.