I have found multiple ways of creating dump file such using windows utitlity userdump and adplus.vbs and a few others. There is one option that I have found in task manager seems to be the easiest and simplest one open task manager + select the process + right click + create user dump. Is the .dmp file created using taks manager any different than the one created using win utilities?
Getting a user to create a dump file from task manager is so much easier than having him run the utilities.