מה עדיף: תפילה בביהמ"ד שאינו לומד בו בקביעות אלא בבין הזמנים, או בביהכנ"ס הקבוע שלו בזמן מנחה קטנה (בו יש גם רוב עם)?

עדיף להתפלל בבית-המדרש בו לומד באותו יום.