The Miami Marlins' career home run leader is also the franchise's single-season home run king. Both of those records, which…