Don't know, but it's got me worried. My vote is file 13. I've never liked extended oil changes, but on the last two I've went 5300 and 6000 miles on Mobile1, still under the recommended 7500. Now they say all turbo 2.5's are to be considered driven under, "extreme conditions", and oil changes are now recommended at 3750, that's a big step from 7500.
Have you seen these mentioned banjos? The timing gear has to be removed to get to the driver's side banjo, just maybe one small support from the turbo up-pipe to the turbo may have to be removed for access to the passenger's side. It would still be tight, but with patience and tiny hands it might be doable. It doesn't look easy for the average driveway mechanic, does anyone know what the dealer would charge to change them out?