Woocommerce cambiar SKU por CODIGO

Algunos negocios exquisitos nos exigen a veces cambiar un simple texto por defecto que muestra Woocommerce en el código del producto, el bendito SKU, pues aquí una simple función para añadir al functions.php de tu ChildTheme:
function translate_woocommerce($translation, $text, $domain) {
if ($domain == 'woocommerce') {
switch ($text) {
case 'SKU':
$translation = 'CÓDIGO';
break;
case 'SKU:':
$translation = 'CÓDIGO:';
break;
}
}
return $translation;
}
add_filter('gettext', 'translate_woocommerce', 10, 3);