It is of course possible that it's not the head gasket, it's just the first thing that came to mind when you mentioned white smoke. See what responses you get later from other IS owners, there's been much discussion on the subject with lots of good info. Because Lexus are so aware of the issue I'm surprised they didn't mention it as a possibility, unless they did check it of course.