A collection of photos from Battle High School’s musical: “Grease”