Yes do take him to a vet.
More than likely this is caused by a fungal infection.. probably has nothing to do with his diet.
Fungal infections aka SCUD aka shell rot need to be vet treated.
I babysat a couple of aquatic turtles that had SCUD.. the owner of them waited far too long to seek treatment from a vet.. the little map didn't make it.

-----
PHRatz