What can you do with a sore eye from a hot spark from welding?

My husband was welding and a hot spark got past the goggles and in the corner of his eye. What can he use to make it feel better? Its just really sore…he can still see.

A cold potato or cucumbers. Both of these pull the heat out of the eye. Then you have to let it heal. My husband has done this before.