Yeah, I think it was a genuine injury. I think Villone pushing the 255 threshold was just coincidence. This could’ve happened 20 pitches earlier or 20 pitches later. On that note, I’ve had several pitchers exceed the 255 pitch cap. In the box score it will show 255 pitches, but in their game log it will have 308 pitches or however many they actually threw above the 255 display limit.