XDJ 900

Hello! Does a XDJ 900 exist? I have a promoter telling me that is the model they have. Is it the same thing as the https://www.pioneerdj.com/en-us/product/player/cdj-900nxs/black/overview/? 

Thank you!