Praise be to Allah.
If he enters the mosque and prays Sunnat al-Fajr, this is sufficient and he does not have to pray Tahiyyat al-Masjid. If he makes the intention of praying both, then that is fine.
And Allaah is the source of strength. May Allaah bless our Prophet Muhammad and his family and companions.