I need an oil change and im either gonna get some Castrol GTX High Mileage, or some Royal Purple Synthetic Oil. My car has 135K on it, and its starting to leak oil, not to bad, but after a few days theres a little spot in the garage. What kinda Oil would be best? Ive heard Castrol High Mileage, can sometimes stop leaks, and Royal Purple says it gives you more HP!