Hi Abducted, interesting find.
VLC is crap, especially under x64. I dont use it. Try zoomplayer or WMP with ffdshow codecs (32 bit).
Can you try that and report if you still have a bsod? Then i can try to replicate.

About bios and drivers: 0403, forceware 175.16 whql (i use almost only whql drivers)