add the boo, and at the glue up, add in some reflex, and even flip the tips a bit at glue up, and that should add plenty.
if he still is short, he could pike it an inch that will add anything from 3 to 5# depending on design etc etc.
but flipping the tips will also help with his draw length.
do as mac says with prepping the boo!!