I recently got my timing belt/water pump done at an independent shop. They said they would be using Toyota pink coolant. I noticed on the invoice the item number for the coolant was not the Toyota item number. I also noticed my coolant reservoir was below the low level when engine is cold in the morning, but the coolant was indeed pink. I called the shop to inquire and they said they use a "universal pink coolant" that is mixable with Toyota pink coolant. Does this sound right to y'all?