Hey guys, I was wondering if theres anyone here that uses mineral Ravenol 15W40 gas and diesel marine engine oil? It comes up on Amazon when I search for 15w40 marine oil and Ive never heard of it before. Its $29 for a gallon jug but people seem to like it from what little reviews I seem to find on it?