Hello!

Your assumption is correct. He will not have his gun-arm, but you are free to go with whichever option appeals to you more! He can either come in without a prosthetic and gain one after visiting the clinic, or wake up with a suitable gun-less replacement if you prefer.