That will of been Dennis's car from Tdi.

HKS is massively overpriced and personally I'd speak to Martin Hadland @ Reyland about the setup he uses as I'm sure its a lot cheaper and equally as good.