Its in the gearbox, its a messy job, mb part only i believe, and that price is crazy money!!
As above, about £140+ for the bits, 5l oil, a tuppence seal for the electrical connector, 1.5hr labour (Colin will say he's done one in 10 mins)
£400 tops at an indie...
About right then...
Some change it for £365 one in the midlands does