yes, one of the conclusions may be that worldwide market shares of some keyboards are sometimes underestimated.
Korg is a typical case. Maybe it is true what they say on their home page that
"Pa80 is the most successful Professional Arranger keyboard ever produced". Maybe Pa800 is also going this way.