Any printers compatible with GCC High?

I am experienced with MSUP in the commercial tenant.  My current employer has a GCC High tenant.  It's  unclear if any printer manufacturers support registering in GCCH.  I see some manufacturers listing GCC but not GCCH but that seems strange as I think just the registration endpoints have to change.  Anyone using GCCH know for sure?