Does anyone know if Ft Walton Beach PD has changed to another system? They used to be pretty busy and the last two times I’ve been down here including today it’s been silent on the two listed DMR frequencies. I’ll do further research while here but was hoping someone already knew. Thanks.