So most likely either the hardware is broken/misconfigured, or the statment that RC5 is used if wrong. There are some Bryston codes at http://irdb.globalcache.com/ that you can try.

Asking the manufacturer is of course also a good idea ;-).