How long it takes to get down from Leidongping to Emeishan Train Station

We will be putting up a night at the Mingshan Hotel at Leidongping parking Lot . We have a Monday 9am train to catch the next day from Emeishan train Station. Not sure if we can make it in time and how early we must leave the hotel. Please advise how long it takes to come down from Leidongping on Monday morning. I assume the cable car takes 40 mins but walking, etc..?

Thank you.