My mam was on the m50 today. It's a 2010 Hyundai. Nct passed last week. She had the clutch replaced in May at main dealer. Anyway we were going off the Liffey Valley slip road and it starts losing power. Then smoke starts billowing out of the left side of the bonnet and there was a horrible burning smell. Pulled into the side. It's now towed back to the dealer who agreed it was the clutch. I'm assuming this is covered under warranty?