Thanks for the advice. The problem is that our previous developer created a Divi Child Theme with some heavy customizations for the look of our website, so using a different theme will get rid of those customizations. Any ideas on PHP changes to eliminate the conflict with Woocommerce?