Anyone know what kind of oil goes in a manual box? Mr Haynses book of jokes says a vauxhall part no,. but is it just ep90 or something or is it a (expensive) Vx 'special brew' , much like the power steering fluid for the same car? TIA Mike