Doing an oil change and after a bit of reading there does not seem to be a definitive regarding oil type between semi synthetic 5w30 and fully synthetic 5w40? Both seem fine to use, oil is changed every 6 to 7 k along with filter. So which would be better to use?