DFS - What you posted showed he did the right thing!!
Realized it was a questionable hit, backed out to give it time and went backed and spent 6 hours looking.
Pretty much what the Bowhunters ed course teaches and most experianced hunters subscribe to. Pushing a poorly hit deer is the best way to insure it will not be recovered.