I repasted one of the chips, because I had pried open the heatsink to take a picture.
Arctic Silver 5 is not a conductive thermal compound so you are good.

 But I wonder how did you stick the heatsink back? Since a good amount of pressure and a strong epoxy is needed to make sure thermal conductivity is restored between the chip, the copper plate and the aluminum heatsink.