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.