Transmission fluid in antifreeze: what to do?

Yes it is possible the transmission is not working due to lack of fluid, I would not assume the transmission is ruined. If he wants to try to fix it he need to get rid of the leak and replace both the coolant and transmission fluid. No one can diagnose this over the internet, he either needs to attempt to repair it, have someone diagnose it in person, or give up on the car.