there is. these didn't come with toyota red, so no reason to spend the money on it. btw, i assume the same as BAT user sarki?
fwiw, i've put just about 97k miles on '87 4runner #1, all using generic green coolant. no cooling or heating issues, and it includes a 2016 cross-country trip in july, with a 4-day stay in death valley (126 *F the day we got there) with wheeling. 8500 miles in 31 days, with ambient temps generally in the 90s and 100s.
also, sadly, you might get more response on yotatech, as the t4r forum has lost a lot of traffic over the last two years, and is now pretty lame.