I'm sure he'll be fine. But having said that I had a lot of(Ankles) bad sprains in my day & broke each ankle once. The bad sprains were by far the most difficult to get back to health. Bones heal much quicker than tendon's, ligament's, muscles, etc.
At least in my F'ed-UP body they did ....H2 PITT !!!