This one is pretty good. They make it fun, but also encourage some competition
https://lonestarhoops.comThe PAC, in Leander has some good camps. They are more fun, than skills based. They also have fun rec leagues. Dont get sucked into their select teams...there are better options.
https://www.pac-tx.com/page/show/7794279-summer-basketball-camps-If you want really good training, go to Ball Hard. But at 9 years old, it might be a little too serious for him. If he gets more serious as he gets a little older, I'd look into it in a couple years. It's where the best players in the area train. They do have summer camps, but I'm not sure how young they go..
https://www.ball-hard.com/summer2024