Who cares? If someone claims him, which is unlikely, there's nothing of value lost.
Buxton has been a too much of a two outcome hitter all season. HR or strikeout. His OBP is pretty bad. No reason for him to stay batting lead-off. Put Martin and Keashall in the top two spots.