Theaters, puppet theaters; Punch and Judy theaters (93.29.0.12)