Those sound like great tools. We, of course, don't get to use them because that would infringe on the role of the antivirus administrator. I will see if he has these and explain to him what they can do.
The problem however is that the server these endusers are looking for no longer exists with the name as recorded on the endusers system. Domain names got changed to reflect our new company name. This broke things quite nicely for many of us in many areas.