BTW I have the exact same dell.. Nice machine when it works.
If there is one, he should also try resetting the video card, as that may be the where the memory problem is.
Wimfsf.sys is the “Windows IMage File System Mini-filter”.
From MS:
“Bug check 0x50 usually occurs after the installation of faulty hardware or in the event of failure of installed hardware (usually related to defective RAM, be it main memory, L2 RAM cache, or video RAM).
Another common cause is the installation of a faulty system service.
Antivirus software can also trigger this error, as can a corrupted NTFS volume.”