from the picture he sent you there i would say normals just from the pattern. they don't really have the characteristic yellowbelly look to them.
heres a old picture of my yellowbelly male for comparison.

really you need more pictures of the snakes before true judgement can be made. really need a picture of the belly. also yellowbellys will usually have a spot on the head or a lighter head. to an untrained eye it is very difficult to tell a normal from a yellowbelly.