also, think of the problems
the average user will have with that. I mean, here's what they'll have to do:
Download the Flash 5 player installer .exe. Quit their browser. Locate the old player in the plugins directory. Remove or delete it. Locate the Flash 5 player installer. Double click it. Choose the options. Then restart after its installed.
Unless you have something that absolutely has to have the earlier version, I'd say to wait until the fixed player is out, then check for that version and take steps to make sure people install it.