Hi @kellymetal, thanks for the prompt response.
It turned out to be a plugin called ‘Ci WooCommerce Product Gallery Slider’. This is used to switch the product gallery photos into a carousel where there are too many photos.
I’m writing to the developer now to let them know there’s an issue.
Thanks for your help!