Ouch! But I think that is what we were all expecting based on the condition of the spark plug.
Have a shop swap in a cheap replacement engine and you can be back on the road for less than $4500. Even less if you can do the swap yourself.
Of course, you can spend more - but you don't have to.