Thanks, all. I didn't want him to struggle with tools as I remember it being a real pain when I was a kid trying to do something and being prevented from doing it properly by the plastic seaside spade that I was forced to use until I was about seven when I discovered a border fork in the shed (it was as tall as me, but at least I could lift it).