Stock coolers i5 7500/7600k and Ryzen 5 1600

Solution
The wraith spire that comes with the ryzens is very very quiet for a stock cooler
[video="https://www.youtube.com/watch?v=LzIIIoSveU0&app=desktop"][/video]
@SR-71 Blackbird - seen a fair few reports of rattly bearings below 900rpm.
Get your son to set a 1000rpm minimum & see if it makes a difference.

My experience - with a 1700@stock speed 1800rpm keeps it around 65c full load & is virtually inaudible.

Overclocked & at it's max if 2700 rpm I would hardly call it silent BUT its probably as audible as basic 120mm case fans are at 1000rpm .
Its not a whiney sound either unlike the old amd coolers or the stock Intel ones.
Just a whooshing of air.

I suppose it depends on your personal tolerance for noise though , its certainly the best (quietest) stock cooler I've ever seen apart from maybe the wraith max that came with the last batch of 8370's.