No creo que el 11400F necesite gran cosa para refrigerar. Cualquier disipador decente debería ser suficiente ¿No?
Yo no tengo ese pero si un 10400F que debe ser casi igual y con un disipador chino de heatpipes de cobre y dos ventiladores normalitos de marca random y apenas llega a tener picos de 60°C en verano (en mi ciudad es normal superar los 38° o 40°C en verano) y lo mantiene en unos 30°C en reposo o con carga ligera normalmente.