I've just bought this 2009 BMW 535xi Wagon with 158k miles for cheap (needed a valve cover, brakes, and two wheel speed sensors - $250 and an afternoon, it now runs great). However, I am a bit concerned about the condition of the top end. Looks like some thick varnish. Should I be concerned...