Hi guys, finally getting to replace my blown head gasket on my 87 XJ6. In case things go wrong, do any of you know of a shop in the Austin area that will work on my car if I decide it's too much? Also, where can I buy the two tools the manual says I need? Thanks!