Sky –
I’ve made the modifications as guided, and although the redirect from the store no longer happens, the button on the single event still shows instead of the link to the Woocommerce product page. The tickets.php file is stored in the /wp-content/themes/yootheme-child/tribe-events/tickets/wootickets/ folder.
I am using events plus if that makes any difference.
Philippe