Only if it is the old kind without Mercon.
Reference:
http://www.peachparts.com/shopforum/showthread.php?threadid=25721&highlight=mercon
Could be damaging the pump, assuming the red stuff was for sure modern Dextron. Best of luck to your friend in resolving the issue, Andrew Seidel.