I will be traveling to Bay County / Panama City Beach in the near future. Does anyone know if they are still operating on the Smartnet trunked system, or have they changed over to Digital? The info on the RR database shows them still on Smartnet type II trunked. Thanks in advance for your help!