Badu, there is a choice. 1) Full rebuild/reman, or 2) fix the obvious, hoping you cure the underlying cause. Weigh up the cost either way, factor in the possibility the second option may not be a fix.
You may be right it was a simple head gasket failure, complicated by not shutting down. Trouble is the engine went on to suffer major damage. Have you checked the mating surfaces of the head and block and for any other reason the gasket failed?
You decided not to shut down when issues arose, presumably the safe decision in the circumstances, and you might do the same if there is a next time, risking consequential damage. You need the engine as reliable as possible, peace of mind is a factor.