Is Randy okay?