Crazy Jay said that he lost the key in his office, so I ran home to get another, just stopping to see if that Civic had a chip key.
Yes.
I was going to make a spare of the spare for the mechanic that already lost a key.
I found a lanyard, but he had found my key, although he hadn't pulled the sparkplugs or checked compression.
He said that replacing the head gasket could cost $800, which was much more than I expected, but I mentioned that it probably needed a new timing belt, and he said that would just be $200 for the kit.
He said the engine should be fine with a new gasket.
I asked about replacing the engine and he said it would cost $900, so it would cost around the same amount, I would just need to order one of those mythical $300 low-mileage JDM engines!
