puppet theaters (300007143) 'distinguished from' miniature theaters (300007122);