Really a pleasure for Marlins fans to have had an all-time great in the dugout