Check out:

http://www.webproworld.com/viewtopic.php?t=29193

for more info about the bots and the flash indexing. Google has been indexing flash for some time. I first noticed it pop up late summer this year.