I thought the red/orange whatever coolant was good for more like 100k?