We know Lopez has had a lot of velocity fluctuation before and I'll also add that the average pitcher gains about 1mph over the course of the season with the lowest velo at the beginning of the year and a peak around July. Speaking from memory of my project in a graduate statistics course