The aux fan does run, and I believe it is operating properly.
I spoke with the PO and I think my problem might be that the PO changed the system over to rj134... well, anyway he changed the ports and added some coolant, but the system was never flushed, etc.
I guess I'll have to take it to a shop to have them do it right, although it will probably be very expensive
Thanks for all the help