40 seems pretty arbitrary don't you think? Why isn't it 45 or 35? It's probably because everyone else is doing 40. So you are missing others' office hours if you do 35. But you have to consider everyone doing 35 as the alternative here.