Yeah my bad, the button is named "Settings" not "Options". The ol' mind is not what it used to be...