My 2003 Elantra is almost at 3,000 miles. The manual says that I don't need an oil change until 7,500 miles. What has been the experience of the newsgroup on this? Opinions are welcome.