just looked at the receipt of work done as I'm sure it said they replaced the gear box oil...
it said the clutch system was bleed thats all lol so my mistake!
my car is a 05 plate and has only just had its 30k service done (had it done at the same time as the clutch!)
as for what gear box oil to use, I think* uprated brake fluid can be used?! do a search if your after advice on what to use!
back to topic now I think!