Conversation so far:
What team did Willie Mays come to the Mets from?
In May 1972, 41-year-old Mays was traded to the Mets by the San Francisco Giants.
Why was Willie Mays career with the Mets so short?
Mays played a season and a half with the Mets before retiring.
Did Willie Mays have any interesting match-ups with other teams during his time on the Mets?
On August 16, 1973 against the Cincinnati Reds, Mays hit a fourth inning solo home run. It was the 660th and final home run of his major league career.
Did Willie Mays help the Mets win any titles during his time there?
What are some statistics from Willie Mays time with the Mets?
In the 1973 World Series Mays got the first hit of the Series, but had only seven at-bats The final hit of his career came in Game 2.

Question: What was his 1973 batting average?
Self-contained rewrite: What was Willie Mays 1973 batting average?