One thing noticed on mine was that the timing belt was quite loose when changed. The belt actually drives the pump, but from the back (non-toothed) side of the belt. It was loose enough that the pump could be easily spun by hand. I don't know if there is more tension applied during normal engine operation, but just something to keep in mind. Also, I have found that the NSX is VERY sensitive to getting all of the air pockets out of the cooling system, so bleed, as noted, prior to digging too far.