I didn't see one, but the boss told me the customer is going to get an official label from the dealer and come back so we can decide which cat to cut out and replace. I agree with you though ... if the new underhood label says Federal, I'll push it through as-is.
“Never attribute to malice that which can be adequately explained by stupidity.”
Go inspection/diagnostic tools/OBD diagnostics and then press connect, there will be a PID list on the lower left. In there you can click on OBD and it will say OBDII as defined by CARB or EPA, sometimes it doesn't give the detail though.