fx01 vs T9 vs F10

[jonnygar3000]

I want a pocketable camera to replace my Canon S40 for holiday snaps etc, and I've been planning on a Panasonic Lumix Fx9 for a while, because it's tiny, has a big high res LCD, Leica lens and OIS. The fx9 has just been upgraded to the fx01, so that's part of my dilemma, but my main problem is that lots of reviews complain about how noisy the panasonic's images are and how it doesn't handle low light situations well - part of the point of having the OIS I would of thought. So now I'm tempted by the Sony T9 also very small with OIS, or the Fuji Finepix F10 (or F11), which is supposed to be very good in low light, but is a bit bigger than the other two. So your thoughts on the matter would be appreciated. What do you prefer;

Panasonic Lumix FX9/FX01
Sony T9
Fuji Finepix F10/F11

thanks