Of course he should speak to his rebbeim.
That doesn’t mean they’ll recommend leaving; they may advise him on how to improve his chances of landing better chavrusos.
Sometimes, a rebbe/shoel umaishiv will learn with a weaker bochur until he can get better chavrusos, and sometimes bochurim learn with hired yungerleit.
He’s only in second year beis medrash. If he’s in a mainsream yeshiva, chances are that other options will be explored before having him give up on second seder.
Chances are also that the reason he hasn’t heard of a yeshiva as you described is because most bochurim in such programs would also be considered at the bottom of the list if they were in his yeshiva