Matt, VK2FLY provides real time network stats here:

As part of these stats, his system automatically complies a list of DMR users and their details – ID number and name: here

These are users who actually are on air and using the network – not just those who hold a DMR ID number.

The data is presented as an excel spreadsheet – which can be downloaded into many DMR radios.