I came up with a replacement end for the coolant pipes used in a helping hands solder station.
I printed mine in ABS for strength. The gap for the alligator clip is designed tight so I heated mine up and twisted/push it into place.
The coolant pipes I used are “Round Nozzle 1/4PT Flexible Oil Coolant Pipe Hose” found on Amazon.
The author marked this model as their own original creation.