I recall someone wrote a guide on this, but for the life of me I can't find it. Does anyone recall the topic that contained a fairly detailed guide on migrating from http to https (it included not only what to do in the adminCP, but also talked about how to migrate google webtools and all the associated stuff to make stuff like adsense etc continue to work). 

Here is the "official" guide on it from IPS if that helps.