also since he's a mechanic, just have him reflash the ecm using the acdelco site. it's like 45$ for 2 year access for the vin. if he doesn't have a scanner that can flash modules, which he almost has to have to be considered a mechanic these days. I used the OBDxpro gt. it's 140$ and is a legit gm pass thru.
there's also a updates for the tranny and 2 motor controllers if it hasn't been done before.
that will flash you back to stock. keep a copy of the current hpt tune. I'd be super interested to see what was done to it.