Satellite box remote

It broke completely. I was happy to get up to work the box but found I couldn’t access recordings or radio stations that way. So Friday I tracked down the exact model. It arrived very fast - today! Not usually an internet shopper, but this was impressive service over new year holiday!