So I assume the bios allows you to store at least two profiles, one stock and one overclocked, so that when being used as a portable you can remove the overclock and not experience thermal problems. What's the price tag on this thing? I wonder how well all that docking hardware will hold up over time?