It looks like it's the Papago. There are several models of Papago in HK. The one I got about 2 years ago costed me $1,4xx. In fact, I've used several different brands of GPS in the past 4-5 years. Papago should be the best so far. But do notice, GPS in HK is actually not good compared to other countries due to too many high-rise buildings and crowded areas. I would say the trust level of GPS is about 70-80%. Often times, I experience incorrect routes and turns.
Regarding the Taobao one, you have to make sure it's really the Papago model as there are many different GPSes in China. Some are really crap.