The "10k or more less" is in line with our purchase price in 2020. For reference we paid ~$5,700 for full standing rig replacement in 2021.
The epoxy bottom job is a nice bonus. If the boat was recently dove, inspected, and cleaned, I wouldn't worry too much about the external shaft/prop...