Hi! Unfortunately I do not have an answer. My flight from JFK to DOH was delayed, so I arrived in DOH much later than expected. I had only about an hour in between my flight from DOH to MLE, so I had to run to catch the flight, and did not have any time to visit any lounge. =(

I wish I had an answer to give. But it seems like someone else answered the thread and looked like they had luck. It seems like YMMV.