THANK YOU! THANK YOU! THANK YOU!
After spending an hour on the phone with Samsung, who wouldn't acknowledge the widespread problem and whose only solution was a Factory Restore, I went with your option # 2.
Worked like a charm on my Galaxy 7510 running Android 4.0.4. The entire process of...