I think you answered your own question, Steve.
I don't think it's worth fixing for $3800, for an engine with 112K on it. In fact I know it isn't, that's crazy money. I would shop around, first for a new mechanic and then for a used engine. I would say getting a good used engine from a wreck...