Or it may not have been done at a Lexus dealer - it may have been done at an independent place that doesn't attach a sticker. Like I said though, if you have no concrete proof that it HAS been done, then assume that it HASN'T and get it done now. If it lets go and wrecks the engine, that puts the whole car darn near beyond economic repair, which is just not worth the risk IMHO.