When you said "However when I check under his roles and profiles", how did you check it? in SUIM -> Role by Authorization Value or Role by transaction?
As Kartik said, those tcodes might be manually assigned in S_TCODE. In that case Roles by Trasnaction codes or table AGR_TCODES will not show them. You can only see them in table AGR_1251 or in SUIM by Role by Authorization Value -> Object = S_TCODE.