My nephew just bought an old 1984 (I think) RX 7, his first car, with 82k miles. Will a SM 10w30 oil be good enough, or does the rotory engine have specific oil that is needed? I have lots of 10w30 Coastal synthetic, 10w30 Tropartic semisynthetic, and Peak 10w30. He's 19 and don't have much money and I don't mind if he takes from my stash.