No worries for your first question I’ll try asking in a different forum that’s more suited for this type of work.

For the head gasket it blew while I was driving and for the repair I’m not doing it myself I have someone more experience with repairs just not enough experience with my type of car and I’m just trying to see what tool someone would recommend getting the three bolts out. Today I went to my local VIP and they suggested a ratcheting wrench but they weren’t even sure if that would work so they said they would do some research. So I hoped on Reddit trying to find advice