I believe it will be hard and time consuming for him to get the need tBTC through the faucet which is the reason why he decide to ask for help.
You are correct!
That exchange has 100+ tBTC testnet bitcoins on offers; the price is the set by the participants, of course.