I don't see any value in resizing.
Tension amounts to neck springback from the expansion of bullet seating. When he pulled bullets the necks simply sprung back. And when he re-seats, the springback will grip bullets as it already had been.
What he'll notice is that re-seating force is lower, but actual bullet grip is unchanged. He could do this 100 times and nothing will change about it, because there is no further sizing in this.
Been there and done that, and it will change in both inside neck diameter measured by pin guages and in seating force.