Yes he will want to shim between the bearing out a total of 4.7mm or so.
Wow, look likes could be difficult for choosing gear diff for old TC, i know Spec-R will release for TCX, unfortunately the new car comes with narrower bulkhead as well.
Thanks anyway!