A friend of mine's orchid has these dents / pits under it's leaves. I was searching the forum and it seems like there maybe a few possibilities but nothing looks exactly like her orchid .
I told her to keep it away from her other orchids and that I would ask you guys if that's okay.