MIAMI -

A Miami-Dade police officer who was stabbed Tuesday has been released from the hospital.

Mario Gutierrez was wheeled into a waiting car Friday afternoon. Bandages covered his thumb and upper arm.

When asked how he was feeling, Gutierrez replied," "Pretty good. A little sore but good."

The incident happened at the Shell gas station at 2501 NW 42nd Avenue about 7:19 p.m. Gutierrez, 54, was patrolling near Miami International Airport, police say, when he approached a suspicious man, who was identified as 51-year-old Dominique Jean.

Jean lifted a cap off an underground gas tank and tried setting it ablaze, police say. When Gutierrez stopped him, Jean stabbed him several times with a screwdriver and a knife.

Gutierrez tried tasering Jean but his Taser malfunctioned. He then shot and killed Jean.

Gutierrez suffered wounds to his arm, leg, back, and chest, and Jean also tried biting off his thumb, police say. Coworkers quickly rushed him to the hospital, where he underwent surgery.

Gutierrez has worked for the department for about 21 years and is assigned to the Motors Unit at the Airport District.

Jean was arrested last December for aggravated assault with a deadly weapon, which were later dropped.