That is a large amount of fee, I am sure he will definitely regret his actions. This is why checking is very important, especially when we set the transaction speed (gwei). Because if we mistakenly set gwei, it will cause a higher fee. I hope that the incident will not happen again in the future, because we cannot take our Ethereum anymore.