Red Sea cucumbers (average body weight, 250 g) were hand-picked by divers from a beach on northeastern Jeju Island, Korea during the commercial fishing season. The body wall of the Red Sea cucumbers was dissected free of adherent tissues with scissors, cut into small pieces (about 5 cm long), and stored in a polyethylene bag at −70 °C until used.