Yep - I can confirm that (ENC) as worked on the early parts of the then new P25 system (E.F. Johnson) system install around ~5 years ago and the various new radio sites at DFW....a couple non encrypted channels, but not Public Safety side...they do have both P25 and National/Texas InterOp (NTCOG) VHF capability in case of a need for Mutual Aid....at lease that was the plan & might have been changed since the go-live...
Also, a few of the cities (NE Tarrant) have a P25 channel on the Netcom system that is specially for that purpose - rarely heard, except for training exercises...I think a couple of those TG are in the RR Database as well in NE Tarrant.
Bill