Thanks all for the input. The dealer found no evidence of engine
damage. So it looks like I may have gotten lucky. But still an
expensive repair. I found an independent mechanic who will do it for
900, and that's most likely what I'll do. Still better value than
buying a new car.

Will keep you guys updated.
Cheers,
BT