A little rainy-day baseball for the Gators