If they were RCID operated, they’d have yellow government license plates and either be unbranded or branded with RCID/LBV/Bay Lake branding.I'm sure somebody could confirm y/n, but I can easily imagine some hoo-hah where Disney (on paper) runs its buses through Reedy Creek for some tax reasons thus they're part of a Municipal/County/Etc Transportation thus subject to Fed rules that private transportation from a private hotel to a private theme park would be diferent
They all have standard Florida or green Florida fleet plates and are branded as Disney.