Garage called this morning. Harrison is ready. Turned out to be, iirc, the lower intake gasket, not the head gasket as initially thought. So the bill was half what I thought it would be.

::woot::