My sister just picked up a used RV built on a F-450 cab with a Ford V10 Gas motor. The rig is two years old and only has 900 miles on it. Unfortunately the owner lost all the owners manuals so my sister ordered all new ones but they take time to come in and she wants to get going on a trip. So what oil to use? I'm thinking any current 5w30?