A propósito, por allí encontré este código que podría servir para lograr lo que busco, pero no sabría cómo usarlo en esa cadena específica que mencioné al comienzo:
Código PHP:
<?
htmlentities($var);
// $var contiene el texto que deseas cambiar las tildes
?>
Gracias de antemano por cualquier ayuda.
