The Miami Marlins have an NFL quarterback first pitch problem | Alto