A video of the difficult work of changing Seattle tunnel machine’s cutting tools