If he still has the owner's manual, then you can take the part # and go to TamiyaUSA.com and run a search to see if the part is still available.
Or hit the eBay.
If no owner's manual is available, go to
www.tamiyaclub.com and register. They got an online manual archive that might have the manual for this kit.
Good luck!