Sounds reasonable to me, I have just ordered some parts and a diagnostic unit after buying my car, for nearly
that amount. Mind you if I had a garage here do the work you had done you could probably add a zero on the
end. Driving to UK for a holiday next year me thinks...