The rock digger is pushing rock or soil forward underground, with male voices, rock pushing and music.