Home machining as a hobby in the U.K.