the size of the Tuen Mun-Chek Lap Kok TBM drill