There are 2 products that we're releasing that will let you do this. This is coming later this year. No hard date. ASAP.
In the meantime they can use the log files and/or the on-screen details (if they're running TFS from commandline) to see exactly which users are being granted leases.