I also think you should be ok. You should probably change your oil, just in case, as the oil temp probably got warmer then normal. That's one good thing about having an oil cooler to soak up the excess heat that the coolant didn't.