С утра-то лучше думается
Померил - не влезет даже с 4,2 см, но думаю что можно просто прикупить usb сетевушку (внешнюю), но только со следующей з/п (новый год же) или попробовать сделать переходник с rg45 на usb временно. Если же увижу другой кулер, подходящий - то наверно возьму.