Some will argue.-----I would do the following.-----Have battery load tested even if it is new.------Take starter apart for inspection / cleaning / ohm test on armature/ perhaps new brushes.-----Brushes I install are $6.50 so not much money spent !!
There was a plastic washer installed at the factory.-----On top of the water tube.----On severe overheat it could melt and block waterflow.----Factory replacement ( have them on hand ) now is phenolic.----