Bottom of 7th inning

The Reds alligator mascot, dressed in a white and red striped jersey and black shorts, need glasses. A little kids wanted an autograph, he (because I'm assuming it's a male alligator) dropped his pen and spent at least two minutes feeling on the cement for the pen. The boys father had to pickup the pen for mascot. The reptile can't see.
By the way, the Reds have taken an 8-7 lead. Crank up the action.
Now, Mr. Alligator is dancing to music over the speaker system. The Pirates are making a pitching change. They need to because the game is still within reach.