Extract, Keep or Remove?

A healthy 42 year-old, new patient,arrived yesterday for a consult. In walks this issue (implant done 3 months ago and just loaded without socket augmentation). Pockets are 9mm+ at #9-distal and implant 10 medial and facial, linguals are more like 6-7mm. Exudate present. Taking out the implant will damage 9 further and 9 will likely be lost. Should we just extract 9 and keep 10 implant? Maybe it will serve as an overdenture abutment one day? Perio is advanced elsewhere. Or take out both and start over with ridge aug bone, PRF, and Tissue? Never seen anything like this… thanks for your input.