Uncle Dave, yes they actually did. Even the Yamaha web site (Norwegian one) marketed it as the PSR-9000 pro, and it's little brother the PSR-9000 (61 keys and speakers)
But I've seen many differences in names and marketing from US, Europe and Scandinavia.

For instance the YPG-625 and YPG-525 are marketed as DGX-620 and DGX-520 here...

Doc-Z