Your guide is a little out of date because the latest version of Shark007 includes a couple other items that could be disabled during the custom install. There are also a few new checkboxes to consider in the Shark control panel.
Also, I was wondering with the x64 setup do you not switch to the 64 bit media player on the config tab? If not then why?
Somehow I screwed up my DXVA and my processor is averaging ~30% during a 1080p mkv. Rendering the file in Graphedit and playing it there is only about 8% usage. Nothing like tweaking a HTPC only to break something...