I took a look at my remote; it's an 8254 also. I looked at the codes. They seem to be codes from the UEIC library - I've always thought this was one of their remotes - they make OneForAll remotes, and remotes under several other brand names too.
The 8254 is similar to the URC-4000, so refer her for a user's manual:
[Link: oneforall.com]You can look up codes here:
[Link: hifi-remote.com]Omit the highest digit (leftmost)to get 3-digit codes from the 4-digit codes listed.
Good luck