Oh you missed the biggest collection of Jewel orchids in India.
They are two different species. The pic labelled as 1 is Anoectochilus. The pic on left hand of screen, I dont know. We need to confirm with the flowers or you can ask him. If I had to guess then the plant on left hand side green-white is Aenhenrya rotundifolia and plant of right hand side reddish leaf is Anoectochilus roxburghii.
Thanks for sharing and I must say you are lucky to have spent time with Pradhan sir. I met him for the first time in 2003 and since then he has been a source of encouragement to me and a very good friend too.
Best regards
Pankaj