I helped replace the head gasket on my brothers supra and while doing it i noticed the block had some pitting around the number 5 cylinder. I tried convincing him to wait until I found some info out but he wouldn't. Has anyone ever seen the block actually pitted from a blown head gasket? Also he drove the car to work the other day and parked it that night and a bunch of the coolant leaked out of the overflow tube any ideas if hes still having head gasket problems or if he just has a bunch of air in the system?