New to the box and there's a fairly basic problem with channel numbers. We're used to entering 101 for BBC One HD and 200 for BBC News HD, for example, but the box is looking for four-digit channel numbers - 8135 and 8142 in my examples.

Is it possible to use the three-digit channel numbering?