Greg,
The device is marketed as the Xerox® VersaLink® C8000W Color Printer.
https://www.xerox.com/en-us/office/printers/versalink-c8000w
I hope this helps.
Hello Leobrache,
The best option to see if this is available in the US is speak with our sales department by calling 1-800-ASK-XEROX (1-800-275-9376).