I had my boy coding Arduino when he was 9. We got him the Raspberry Pi for Christmas. Skills he can take anywhere.
That’s a cool tech present. I’m sure he’ll enjoy it.