Hi,
If the automatic replacement is not working with the theme, then unfortunately the only possibility is to replace it manually via editing the theme files, and inserting the PHP shortcode. I suggest asking the theme author which files should be edited for that.
Alternatively, you can add temporary FTP and back-end details to your ticket, and I can try tracing the corresponding theme file via FTP editor, and replace it for you if possible.