Implication Details
Assumptions: cofinitary, preserves finite products
Assumptions on source category: finite products
Conclusions: 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.