I know your car is in the shop being repaired. Have you checked on it to see what damage was done? Are you still thinking about changing to a thicker head gasket so you can run more boost? Did you decide to change the cams/lifters or anything else since it's apart?
Stay in touch.