The car finally got to 40k miles! I suspect I’m now the owner who did the most miles with it (and I’m the fourth owner…). Here’s to another 40k miles of reliable service! (clutch cables aside… 😛 )