I didn't think to include that when writing the article. I'm not sure why. If you hold down the shift key while right-clicking, that does bring up the option to Run As another account. I use it all the time administering Active Directory.