I have one of those in my garage somewhere, in a protective box, with owner's cards, code, the whole biz. We are moving from one garage to another, so stuff is in disarray. PM me with a price range, which'll hopefully motivate me to locate before the movers lose it for me!