Found an infra red remote. It's round, and as big as a donut. Looks like it was made for toddlers: no sharp edges, batteries lid secured with a screw, buttons easy to press, to big for reaching all buttons single-handed, to small for keeping it with both hands. No brand or name typed anywhere, CE markings on the back, made in China.
Inside has a blob IC and the IR LED. Buttons are made of plastic and with a rubber cap conductive membrane under each button. The Tx can be received with a TSOP receiver. The middle button does not autorepeat, the others aoutorepeat identical codes. There are distinct codes for each button, with different codes for press and release. It doesn't look like RC5.
Asking because its intriguing shape, and because the nice tactile feedback from the buttons. Anybody knows what is this IR remote for, please?