He needs to get his coins transferred to another wallet so he could purchase Bitcoin Cash through Bittrex or Poloniex. It's pretty easy to achieve.