GR32 / GR40 reparatie sets (thermische olie)