If cop outs and gives redcheck and doc outs and gives who he saved, we lynch cop's redcheck and end day with 8 people. 7 town and 1 mafia with 3 of those town being confirmed.
Assuming mafia gets a kill off which seems unlikely given our GOAT doc, we start tomorrow with 6 town and 1 mafia, 2 of those town being confirmed.
Confirmed town is a huge boon to town.
But TPR can obviously do what they think is best. These are just suggestions and game theory.