Hi, has anyone had any experience of damaged head bolts on a 124? Local garage could not remove the head to replace gasket, due to the bolts being damaged. They managed to get one out, and advised against drilling the others due to the time/cost involved.