I am working on fixing an overheating computer with a broken AIO. The system is running an i9 9900k at stock settings. The user games heavily and needs a new cooler to replace the broken AIO. An air cooler is preferred. What would be the best air cooler to cool a 9900k? I was looking at the be quiet dark rock pro 4 but the computer has all dimm slots occupied with Ripjaws 5). Could someone tell me a good air cooler that would work to cool his 9900k while also fitting over the ram?