Glad you found your own solution! You could also install a screen rotation widget. Power Toggles is a powerful and versatile multi-toggle widget that includes a screen rotation toggle, which you can place on the homescreen, notification shade, or lockscreen.