Deroplatys are SE Asian. Maybe he meant some Acanthopidae.
There are about 120 species of Mantids known to occur there. I won't list them all. If you manage to bring something into culture (which isn't accomplished by just exporting them from there) it still can be identified afterwards.