As a ride-or-die Mariners fan (since the start of the 7th inning when I tuned in), that was obviously the right call.