What do you think about Mookie Betts likely participating in the 2023 Home Run Derby?