First thing, he can directly talk with ppl @ tyan. I think their sales ppl will at least lead him to a distributor.
As a last resort, if you are your friend knows anyone in US, these can be easily be got. But I think he will get better prices from east asia.
I was looking for the same combo around 6months back. the Tyan reseller in Bangalore never returned with any info after calling them up for more than 6-8times.