My son recently bought a 5KCS. 68K miles, nice car but has lifter noise for a while every morning after first start up. Any easy fix (additives) or replace the lifters or ignore it??? Any advice???