Listar archivos pero sin extension .txt

[neworks]

Genios funciono perfectamente!!! ya que estamos los molesto con otra cosita mas, lo modifique al codigo para que muestre aleatoriamente mas de un archivo, pero como puedo lograr que no muestre archivos iguales?

<?
$dir='archivos/'; //El directorio local donde almacenas solo los archivos de texto
if ($handle = opendir($dir)) {
while (false !== ($file = readdir($handle))) {
if (!is_dir($dir.$file) && $file != "." && $file != "..") {
$archivos[]=substr(urlencode($file), 0, strlen(urlencode($file))-4);
}
}
closedir($handle);
}
$aleatorio = rand(0, count($archivos)-1);
$aleatorio2 = rand(0, count($archivos)-1);
$aleatorio3 = rand(0, count($archivos)-1);
$aleatorio4 = rand(0, count($archivos)-1);
echo $archivos[$aleatorio];
echo $archivos[$aleatorio2];
echo $archivos[$aleatorio3];
echo $archivos[$aleatorio4];
?>

GRACIAS