My son is 11 and has been skating for a year now. He is working on ISI 4 and 5. Any recommendation for sharpening of his skates? How deep should they be cut? I think my wife said they were being done at a 7/16 deep but not sure. He loves to jump but I don't know if that matters. Thanks for any help.