Ok thanks...Yeah, like I said, it was an emergency situation. I asked for HOAT and they had no idea what I was talking about, and said "here, this will work fine."
Once I get the leak taken care of I'll flush it and replace with HOAT.
Yeah, not much choice in an emergency. Any coolant is better than no coolant, and IMHO, you probably won't see any problems with short-term use. It's not like any gaskets are going to get eaten overnight; more like over a few years from long-term use. Just flush it out like you have planned and you'll be fine.