Time for Marlins to end this game – it’s already 9pm out here