Anyhow, there are two white spots on the edge of his shell near his neck. They aren't soft, and there is no smell to them. I've been keeping a close eye on them, and they've niether spread nor shrank. They are also no rougher than the rest of the shell. They're basically the exact same as the rest of his shell, only white. I'm wondering if this is the start of shell rot? Or perhaps a scrape from running into the rock? Or perhaps just a loss of pigment?
His behaviour is completely normal, and he's basking and swimming fine... (He's just under 7inches, if that helps any)
Here are pics:



