Lampe, Choi try to lead Red Devils back to a state championship