The licenses show that they have P25 emissions licensed, not confirmation that they "use P25". They also have plain old narrowband FM licensed, as the RRDB indicates. Those P25 emissions were added back in 2013 when they removed the wideband emissions. If they have switched to P25, I suspect it would've been discovered by now.