unfortunatly not any more, ftz usedto offer one, and im sure some of the big names did, BUT the lt250r was faster straight line out ofthe box than the trx's were, just didnt handle as good.
in all reality he dont need a big bore for power
drQ or aaen pipe ( aaen is very simmaler to the dr q and well less than half the price of a q pipe) 38-39 mm lectron carb, vf2 reeds or a simaler rad valve set up, pro design usedto offer a cool head with differant dome for them, and they can still be found,
getthe jetting right and dial in the power valve ( im assuming its a 87-92 motor)
or do all the mods listed to a 87 motor since the 87 made the most hp stock anyway,
or a lt500/250 hybrid id love to go this way just not in my budget right now! a rm250 swap is also a option, and has been done and looks sweet, with the right side dirt bike pipe,