My boyfriend started bleeding (frenulum tear?)

So me and my boyfriend were having sex and he started bleeding alot and he noticed a string ripped and he didnt know how that couldve happened and after doing tons of research its supposedly something called “ banjo string” i may be incorrect i dont know anything about that were both 18 and he didnt know either. Should he go to a doctor?