Wouldn’t a sledge hammer have been quicker? Or plug it in and when his head explodes, use the fire hose to clean it out?
It’s not like a productive member of society would have been lost.
https://m.youtube.com/watch?v=D0ro-jlfHKc
They could just use whamoprin..