Is it okay to send growing kids to gym for workouts?

My kid brother is 13 year old, 5'4'' and weighs around 65 kg. He also got slight pooch. I want him to lose some weight so that his growing height doesn't stop. Is it okay for him to hit a gym and use machines like treadmill and all the othwr machines they have in a typical gym?