OK, so for the benefit of anyone else who finds their way to this topic via Google, I’ve posted the solution provided by ET Support below. This worked for me. Your mileage may vary.
Of course you’ll want to do this in a child theme:
Edit the header.php file and replace this line: <title><?php elegant_titles(); ?></title>
with this line: <title><?php wp_title(); ?></title>
