I just wanted to give a quick update on my experience here so far with the Lucas lubricant. So after the dealership said they couldn't find anything
I ordered this stuff (link above) off Amazon. I have run through 2 tanks of gas so far (using the Lucas lubricant in both tanks), and the car has not died on startup. The dealership even agreed that since they can't reproduce the problem that the Lucas lubricant was good stuff and worth trying.