I think that is also the value of the current chip I have. I googled the current exchange rate and see that it is US$1:HK$7.80. That would make $10HK worth about $1.28 face, if my math is close!

Of course, since you and I have one (and others don't) they may be worth A LOT MORE!!!!

Rich