Excluding the seals, none of the work is anything different than a ten-year-old vehicle might need, and the mechanic says the engine is in good shape. So Nippy is being fixed up and I'll have him back tomorrow.
edited to add: Nippy is 20 years old (1988). But he runs as if he was 10.