So reading through the thread, a 2nd opinion is never bad options. That said if they have visually seen a head gasket leak, such as coolant in the combustion chamber, that can be shown using a boroscope. Another method is cylinder pressure test, and or a compression test. If they have shown you...