Teresa Buchholz is Carmen, and Benjamin Warschawski is Don Jose in the Summer Opera Theatre Company's "Carmen."