How hard is it do the head gaskets on an 05 duramax have a friend that has be quoted 8500 to just replace them looking at taking the job on as I am an mechanic at an at dealer are they hard to do or is that quote seem fair