That's a great question, especially in light of the recent violence there (and resulting security upgrades).
It looks like their license has been amended to permit DMR on their 463.450, 462.175 and 464.825 repeater frequencies, as well as their 461.025 simplex frequency. So a very good question. Will try to check it out next time I am in the area, if someone else doesn't advise first.