9.3, that is a great story and you are right to be proud. The trouble with hunting big cats generally seems to be that they are virtually impossible to hunt without bait or hounds, yet sometimes too easy when these means are used.
Your son has not only killed the beast without hounds or bait but running as well - it really is boy's-own adventure stuff.