Guys I'm in the process of changing the oil in my F18. I've emptied out the old stuff which is RED Auto Box Oil. Is there a problem with putting Manual Box EP80 in instead? - Which it's meant to have anyway? Cheers Ben