Thanks for the info, but shouldn't there
be some sort of warranty registration card in the box?