I tried some of the "safer methods in the BIOS but even though the BIOS shows a setting of 4.2 Ghz, the machine tests out at 3.6 Ghz under the Pi test and it is rather extreme.Personally I really needed that article to be a bit more complete than it was.