Can anybody tell me what oil is used in the above machine?. I lost some during an attempt to replace a leaky cylinder head and thouight I'd better replace the correct grade of oil . before re-assembling. Also, any advice on how much to put in would be welcome.