The only way to sort it out is with an actual visual inspection which no one here can do. I’d certainly take it back to that shop as they seem to be reasonable about how they approach things. I’d ask if they used the improved intake manifold gasket kit that was put out after all of the GM intake gasket headaches.