woocommerce rename product tabs

WooCommerce: Rename Product Tabs

Need to make sure customers are not adding the same item to their cart again? Let them know the item is already added to their cart.