Cooling system repair in DIVJAKA