So I made him a box -- it was his birthday earlier this month, so it would make a nice present for someone who already has everything. Last Saturday we visited and I gave him his box. He (and my mom!) were very pleased with it.
Photos are up on drukgedoe.nl.