I'm not sure what i have read or what, but i think in that case I'd use regular oil. Synthetic is for new cars with new seals. If it's been recently rebuilt, sure. But if not, synthetic may be to penetrating and believe it or not - to slippery ? I've heard oil leaks ?