I would also pull Garnsey and help him to heal. Not sure if I would play Garnsey or Perkovic against Army.
He should stay out the rest of this game and not play against Army. He is needed at 100% for the tournament.
If we're a Top 4 seed. But keep him ready just in case.