A friend told me that Java Dave's in Edmond has sold. They're closed right now during a transition, but expect to re-open in mid-August.

Anybody know anything about this?