Way too many choices these days. Anyone have a particular favorite to add to the oil in a high mile engine? I have tried Lucas, BG, and JB but can't really tell if there is much difference. I also tried SLICK 50 which I now think may have been a waste of money.