Short doc focussing on one of the many highly-skilled craftspeople working at the National Theatre every day