I think you done just fine.
I gave my grand son (14 yo @ 105#) a choice of two rifles for his first hunting season. I only had two to pick from. One was a prone only 270 Allen Mag the other was my 338 RUM carry rifle (10.5#s and comfortable)
He picked the the 338 RUM. Next we put the 12 ga semi auto on the bench and he went to shooting it. He had been shooting a 12 ga single pipe.
I then loaded down the 338 RUM with 250 NAB and he went to shooting it off the bench. Then prone. BTW both rifles are braked.
The next week end he came up again and we went shootin. This time with full tilt 300 SMKs. Was not a problem.
Through a strange set of circumstances he ended up shooting at his first deer with his dad's 7mm Rem w/168 Bergers full tilt. The kid choked so bad it wouldn't have made any difference if he'd have been using a Red Ryder Daisy.