I want to buy my son a decent wireless headset for his birthday and have been looking at Arctis and Turtle Beach models. My question is will these work with his PS4? It is a standard PS4 not a pro or slim model. Or will he also require a wireless dongle? If so are there any recommendations as to...