Was there any obvious crack in the charge pipe when you inspected it? I'm just curious if the crack was in the typical location.
Also, was the dealer willing to put on an aftermarket charge pipe?
In any event even though it's a hassle I'm glad it was a straightforward fix. Annoying, though ...