@David_H
This seems to be a recurring issue with TV's reporting the brand on the badge, which doesn't necessarily match the real manufacturer. Is the current BT remote for the Pro Box capable of manual programming, or could the box software be modified to specify a manufacturer?
