Buying Panasonic SD7 and JVC HD7 from Japan

[Wonderben]

My brother is now in Japan and I am thinking of buying either a Panasonic SD7 (at 110000yen or HK$7500) or JVC HD7 (120000yen or HK$8200)

Is the price ok?

thanks for your advice.