This is one of the nicer WMC remotes. Working fine with WMC-7 here.
$10.98 HP OEM WMC Remote control (Picasso) (5070-2583)
http://laptopparts.vivotechnology.net/items/item.aspx?itemid=919484
$6.98HP OEM IR receiver (5070-2584)
http://laptopparts.vivotechnology.net/items/item.aspx?itemid=866635
$10.98 HP OEM WMC Remote control (Picasso) (5070-2583)
http://laptopparts.vivotechnology.net/items/item.aspx?itemid=919484
$6.98HP OEM IR receiver (5070-2584)
http://laptopparts.vivotechnology.net/items/item.aspx?itemid=866635