It's not a bad idea to ask how much they'd charge to install another engine. Engine and install would run $2k-$3k, considerably more than repair.
I'm a little hesitant to spend a lot more to replace a known engine with an unknown. and at least he'd get a new water pump and seals out of the repair.
If OP is serious about driving another 150k, JDM begins to look more attractive.