Pretty sure DK1 shipped pre-acquisition.
DK2 also
Neither qualifies.
Why? They were for sale to the public, how were they not a product?
Because some people find arguing over semantics fun.