Turns out the truck has a slow head gasket leak, slowly looses coolant pressure from 15 psiat about a pound every minute or so, causing a dripping leak at the head/block junction, behind the water pump on the outside.

Has anyone changed one of these before? My buddy is trying to decide if its worth saving a trip to the mechanic.