As a fan I would take 4-12 over 7-9 but the problem with tanking is its impact on team culture. Not a switch that you can turn off and on. Better to arrive at 4-12 fighting