Your technician is correct on head gasket on this engine, very common repair. Should take about 6-7 hours & parts should be $200-300. Flushing the oil from system might require some extra time.