I'm still chuckling 10 minutes after reading your post. That must be one very happy 9 yr old! 60 years ago I was his age; I fondly remember the fish I was catching way back then. Your pond will be a treasure for him.