Changing Sku Label

Great Plugin!

We would like to change the Sku label in the table header to something else. We have used the translate_woocommerce function in the functions.php file and it works for the backend and pages that do not use the variations table. The table header in the variations table does not get changed though.

Is there a way to change this through a function or is it coded into the plugin files?

Thanks.