My New Holland TC33D has a diesel engine. When changing the engine oil do I have to put in a specific oil for diesels or is it ok to use an regular oil that I put in my gas engine car like a Quaker State or Pennzoil? The owner's manual does not specify. It just says it should be 10w-30 oil for all year round.