We don't really know what the 12mm pump will do much over 4,000 RPM, but several Europeans (Stefan @ Digital Racing, TDIFreak in Finland, etc.) are running 12mm pumps and don't report problems up to the TDI's conventional redline... I seem to be more keen on the 12mm than Gerry but to answer your question, Gerry's truck is running an 11mm and a 12mm just waiting to be used.
The general consensus at tdiclub.com (for what it's worth) is that the 11mm is ok up to 5,500 RPM. Beyond that, maybe. The 12mm according to Bosch info max out at 2,100 RPM, give or take 100 RPM.. approx. 4,400 RPM crank. Some people may push it a little further, but 5,500 RPM crank is quite out there.
I have 10mm (stock IDI = 9mm), 11mm, and 12mm parts... I was only curious as to know if Gerry has overcome the low-RPM issue with 12mm. My pump will be tested on a Bosch dyno at a pump shop so we'll see how it goes with each upgrade. For the record, my pump must be built for max. 3,500 RPM (7,000 RPM crank).
As for timing advance, Gerry and I have met with Jeff @ Rocketchip several times since Waterfest 2004 and he has shown us his pump mod in the timing control collar to allow greater advance. Gerry is in the process to do that mod over this winter.
Do you know how many degrees advance?
I vaguely recall in 2004 that Jeff was interested in building a revver TDI (I could be wrong.. I did talk with him about making my ALH TDI rev high), but it looks like he has max. 4,000-4,500 RPM with 12mm pump today, which makes his pump timing advance mod seem obsolete, just for his application.
Another member on both forums, SpikeTDI, had done some investigations and simulation using the same software as me. He had come up with a cam profile that looked very good, but I have not succeded in getting in touch with him.
He has been spending more time in the hospital than out lately.