Miami-Dade County...update?

Is Miami-Dade County back on the P25 system ? I was told they had problems with the new system running encrypted. Are they running in the clear ? Or are the back on the old EDACS? Is Fire still UHF conventional?