Wookie,
If you're ever in need of something "off the beaten path" like an elephant fish in the future, call Ocean Blue. They would be happy to help you out...
They can get their hands on most anything.
They have some elephants in stock now. Bottom left hand tank with the glass knives and wood shrimp. Right above those are their cherry shrimp
.