Apologies I just remembered. The users settings were already set to Kernel dump and it still produced the mini kernel dump. I had asked him to change it to small memory dump and his reply was:
,
Thanks for the above replies I'll investigate how his page files are set up but you've given me at least some ideas to go on.. Much thanks once again.