arsort() samme result så shuffle() dem?

Først lidt kode:

$ar = array ("2" => "25" , "4" => "20" , "7" => "21" , "9" => "20" , "10" => "20" , "12" => "17");
arsort($ar);
reset($ar);
while(list($id,$points)=each($ar)){
    echo "$id : $points <br>";
}

Er der en nem måde at få rækkefølgen af dem der har samme værdi random?

Koden ovenover udskriver altid:

2 : 25
7 : 21
10 : 20
9 : 20
4 : 20
12 : 17

Det jeg ønsker er at 10 , 9 og 4 bytter pladser 'randomly'