Doesn't seem to have pricing info anywhere obvious online, but yeah it probably is because "professional market" plus "its the only high end part they're allowed to get in China now". ;)

Probably not 5x, more like 5-6k. The a6000 is $7k and this is a cut down version.