Will Lakeland City join the new digital Polk County Radio System? OK, thanks. Also, had the old PCRS been deactivated? OK thanks.