Selecting Random Players

Hi There! Before you start telling me to use the search button let me just say. I have. I used the resources to find out how to select random players, but my problem is that Im trying to select 3 random players and I want to make sure the plugin doesnt randomly select 2 of the same person. How can I do so? Thanks

PHP:

$players = $this->getServer()->getOnlinePlayers();
$selected = [];
for($i = 0; $i < 3; $i++) {
  $r = mt_rand(0,count($players) - 1);
  $selected[] = array_splice($players,$r,1)[0];
}

Thanks! I was just using $p[array_rand($p)] Thanks for your help again!