But there would be zero need to "RIP" the page into pixels. Where exactly are they printing the bitmap from? Photoshop? If the driver can print from Photoshop then it can also print from Acrobat.
Also almost all composite large format printers use RGB drivers—converting to CMYK would unnecessarily compress the printer‘s color gamut.