No they shouldn't have. Altuve makes the routine play and just gets the one out instead of trying for a DP and Fledman probably finishes it up. No manager is going to bring in his closer in the 9th inning with a 5 run lead unless he needs the work.