I would supply the 2 litres of MTF94 gearbox oil required yourself to whoever does the job. I have found few garages or dealers keep this special oil in stock and some may use some other gear oil if they can't easily find MTF94. It is not a big job to change the oil.....an hours labour charge max. maybe for a good mechanic with the right tools and a set of ramps. There was plenty of metal swarf on my magnetic drain plug and in the oil but gearbox still ok......touch wood!
(I found the MTF94 at a local Land Rover Dealer (LR Part No. STC 9158).......my local Mini Dealer next door to LR don't sell oil !!)
Swarf on magnet pictures:
http://www.mini2.com/forum/first-gen...ml#post3809752 
