...There are 7000's (equivalent to 1800's) on ebay for much cheaper... (hint: use the offer button). This is only a fair-ish price for those outside the US as those 7000's on ebay don't ship worldwide.
I have those windows keys as well, but I'm not sure if I should sell them as I like to keep some of everything (the hoarder in the Aspie...).
Anyway, GLWS