PHP - Ayuda con Random PHP

Buenas necesito hacer un random en php para imprimir un nombre aleatoria y tengo esto :

<?php
$var[1]= 'Iron Man';
$var[2]= 'Superman';
$var[3]= 'Batman';
echo "<font color='red' size='18'>" . $var[rand(1,count($var))] . "</font>";
?>

El problema es que repite los nombres muy seguido o sale 4 o 5 veces el mismo seguido.

Vaya tienes solo tres opciones es muy probable que te devuelva el mismo valor de forma seguida...

Como sea puedes hacer un par de cosas usar en lugar de rand(), mt_rand(), es mas rapido aunque no garantiza que haga lo que comentas, la unica opcion que veo es capturar el ultimo rand generado y excluirlo del posible resultado nuevo ejemplo:

gracias esto me sirvió mas y si tengo muy pocos datos probaré con más