I'm not doubting you Kenny its something I've never heard of. You learn something everyday. That may have been fitted on some engines but not the GTD engine.
Te run on pumps aren't fitted to the Diesels I don't think...I believe it's to do with the much lower EGTs on diesels, and hence the turbos don't get as hot, so don't need it.