El receptor es igual en todos. Si te viene bien, y si no en cualquier tienda de electrónica encuentras un led ir receptor.
Lo de las librerías no es que compres un mando y venga con una y su compras otro con otra, sino que todos funcionan con la libreria irRemote de Arduino. La misma que está en tu enlace. Uses el mando que uses va a funcionar con esta librería.
http://www.sherkhan.net/blogs/frikadas/?p=331#
En esta web tratan el tema.
Ya nos dices algo.
Un saludo! 