Does anyone have an EK-NB ASUS HP installed in place of the removable part of the stock heatsink? I've been told it should fit but haven't seen anyone use it.