IRL trencher (TRENCH)