Is he positive it's the 140 brake one? Towards the end of the mk5 run (in Ireland at least) they slapped the GT TDI badge on practically anything but the bottom spec optionless 90 brake ones. Maybe he has a 110bhp TDI? I know that they slapped GT badges and front bumpers on the non turbo 1.4 mk5s in mid 08 here.