Thanks, I've tried to find the manufacturer without any luck. It's about 7 years old and the even the shop I bought it from can't tell me who actually made it!
I only need to top it up, maybe about 5% of the total volume of oil, probably less. I'm thinking at that percentage anything vaguely suitable will probably do the job?
Norman, April 2009