Sources said the news of Graveman being traded to the Astros did not go over well in the Mariners clubhouse.

— Ryan Divish (@RyanDivish) July 27, 2021