saw somewhere in one of these posts that someone is using Wal-Mart super-tech synthetic motor oil in his Hyundai. Any idea of who makes the Wally_world oil and if it is legal for warranty!!??