Ceramic coating MIC top?

I have an appointment to have my ‘23 Badlands professionally ceramic coated. I’m wondering if anyone has had their MIC top coated as well? Is it possible and would it be effective? The company doing my truck has never encountered a MIC top.
TIA! Chris