elefant did indeed come on around 10.30, maybe 10.25. They left the stage at 11.04 and did not come back for an encore.
The whole band and Diego looked completely disinterested last night. It was pretty disappointing compared to their last 2 D.C. shows. It will be hard for me to justify going to see them again.