I'm just trying to get HPL gear oils straight in my mind. I've been using Redline gear oil for years with excellent results but I've heard amazing things about HPL. I'm not that familiar with them and didn't see them listing if gear oils were GL4 or GL5. This is what I've been using in my cars...