A HPX172 can't be brought from normal photo/video stores. It is a professional product - and only a few dealers are licensed to sell them. Don't bother about shops in Sim Lim Square - they are sharks. Normal price - including a 16GB P2 card is about $6,700. You can go to
www.sensys.com.sg - that company is pretty good - service is first class. Check with them how much they are selling that camera for then.
That lens problem you read only affects the initial batch of HPX170 cameras. No HPX172 cameras are affected by that problem. HPX170 is the US version (60Hz). HPX172 is for 50Hz.
Do be aware the cost of the HPX172 isn't in the camera ... but the P2 cards. A 64GB P2 card currently is about $3,600 - so be warned.
A viable alternative to HPX172 (which uses P2 cards) will be the HMC152. Externally, the camera is the same as HPX172. Even uses the same 1/3" CCDs. Except that the HMC152 records on SDHC cards - which is very much cheaper than P2 cards.
P2 recordings are in DVCProHD codec, whereas HMC152 uses AVCHD codec at up to 23 (or maybe 21 mbits/sec). On the NLE side, all CPUs today can easily edit DVCProHD (100Mbits/sec) - but there are NONE today that will cope with AVCHD compression. So, a workflow for AVCHD involves a transcoding of AVCHD media into some other intermediate codec which is much better for CPUs to digest - Apple's ProResHD (if you use FCP) or Canopus HQ (if you use Glass Valley's EDIUS).
Only problems of the HMC152 (compared with HPX172) are -
a) No variable frame rate recordings
b) No hotswapping of recording media