I need to update my son’s 4S (it simply won’t play Pokemon Go without crashing, but for other reasons too). There is a local repair shop that buys, sells and repairs old phones, and I can find one there. Is there anything in particular that I should be aware of?