Has anyone been able to buy the codecs for their Archos 70? I try entering the product key and the archos web site tells me it is invalid.