tunnel workers