Implication Details
Claim: Given a functor whose domain has finite products, if it is cofinitary and preserves preserves finite products, then it preserves preserves products.
Proof: This is because every product can be written as a filtered limit of finite products, see Mac Lane, Ch. IX, Theorem 1.1.