Nope, honest! Although i did find a US site which said they use the heavyweight shockproof in a std gearbox in their 10sec GTR!
It's the oil the pfitzner said to use with this gearkit, works out @ £95 + delivery from Demon Theives, although it is MORE expensive to get it from Redline oils direct! (£115 with "free delivery", whoop dee doo!). I think 5 quarts (1 US quart = 0.95 litres) would normally be enough, but of course i have an oil cooler to fill up too