With the upgrade to the new SiriusXM interface, I see they took away the Direct Tune option (where you could actually punch in the station # you want). Is it really still there somewhere, but that I just don't see it? I did like that option, since it was easy to enter the station number (I...