Implication Details
Assumptions: cofinitary, finite-product-preserving
Assumptions on source category: finite products
Conclusions: product-preserving
Reason: This is because every product can be written as a filtered limit of finite products, see Mac Lane, Ch. IX, Theorem 1.1.