Using the code that you provided, there shouldn't be any duplicates (unless you have duplicates in the original array). Running this code a million times, there's not even one duplicated value (from a quick test) which confirms my suspicion.

If you're wanting another approach, copy the original array into a new temporary variable. Then, shuffle it and array_slice however many you want.