what fault codes did they discover??.
we routinely fight with these things and they take some fixing unless its a simple single fault that registers on the diagnostics system. never had one beat me yet, but some take days and days of work to fix them