Here is a link to a 10 min video of replacing the head gasket on my FarmPro 2425. Not the best quality but maybe it will help someone else. It’s actually a pretty easy task.
good video the only thing I would change is your initial torque settings, I would have went more like 30- 60 -100, but that is just me. proud you got the kids involved.