Hello, @Heather,
If the plugin is working fine then there is no need to add the code if you find/face any issue regarding using this plugin with our theme then you have to copy that code and paste it into the child theme >> function.php file. But as you said it working fine then there is no need to add the code to the theme. Leave it and enjoy using the plugin with our theme.
Regards 8Themes Team.