if it's an ATT touch pro2 then he can flash any ROM on the touch pro2 rom forum on XDA-developers. they have mostly gsm roms... this site has mostly cdma roms. here's the gsm tp2 rom development forum on xda
http://forum.xda-developers.com/forumdisplay.php?f=490
by the way tp2=tilt2
oh and his tilt2 has to have had the hard spl from there applied. you probably know but i figured it's better to mention it just in case.