Hi all, I have a 1997 lexus lx450 with 245k miles. Unfortunately last week i blew the head gasket when i overheated on the freeway. After calling a couple shops that have experience working on 80 series they both estimated a cost of around 6k for the head gasket replacement. I’m just curious does this sound correct and what questions should i ask the shop? Just a fyi i live in the california bay area.