Yep, the larger down pipe on the OBS (old body style) Powerstrokes is a must. It sounds like the previous owner had the truck well sorted, so its likely been done. If he went intercooler, surely he did the downpipe. Its the most restrictive part of the exhaust.
I didnt personally install...