The CuteDigi Infrared Remote Control Kit for Arduino includes a small (1.5" x 3.375"), light-weight IR remote with 20 keys. The remote is marked "Car MP3," but I cannot tell who the manufcturer is. I am using this remote for a project that already includes an IR Receiver (TSOP85) breakout from Sparkfun, so I haven't yet tried the receiver that comes with the kit.
The Sparkfun IR receiver (TSOP85) I am using does not work with an Arduino Due, but is fine with an Arduino Uno.
Using the IRremote library for Arduino, I have recorded the following codes for the keys on the IR remote:
Remote Key IR Code (NEC)
PICK SONG 40BF18E7
CH SET 40BF58A7