What your mechanic quoted is very reasonable and in the ballpark of what most mechanics should do it for.

I have to have to have my head gasket changed so i've looked into it quite a bit.

Good luck,
Ren