My 2007 320CDi is due a gearbox oil change (65k miles). The job looks DIY apart from the refilling process, hence I want to get it done by a professional. Does a cost of £250 plus VAT all in sound right? Strikes me as a lot for what is a simple process. Any advice?