Had no idea, I simply used the name the original poster gave. Knowing that though I see you like the species based from your posts hereThe choeradodis found in asia are now their own genus called asiadodis. This has happened recently though.
Some searching it appears the full name is Asiadodis yunnanensis. Any chance of getting that species here in the US?