After following this thread for a while, I decided to fall in too...
bought the GR2 at HKIA last night. SGD811 (HK3990 + 100 to upgrade to a 4gb panasonic SD card from 2gb)
It was the display set. A brand new one will cost HK4200.
Now still charging batt and let's see how it performs...