Just bench him.
My record for healing players with red packs is a horrible one, the chance of them either losing form or injured again is too high. The result is so consistent I have concluded that it is coded this way, although the exact mechanism is unknown.
It's better bench an injured player and get a short-term replacement.