Updated

A protective pit bull named Precious died after heroically jumping in front of its owner to save the man from the jaws of an alligator in southwestern Florida, prompting an inspector on Friday to examine whether the marina where the man lived was too unsafe.

"We have no lighting, which is mandatory code enforcement... you can't see the clutter," Robert Lineburger told Fox 4. "Now you put the alligator problem on top of it, it's a place for a disaster to happen."

The attack unfolded in April when the service dog jumped in front of Lineburger as the alligator tried to attack him at the Port LaBelle Marina. Lineburger had the dog because he suffers seizures. "She was roughly 2 to 3 feet away from me when the gator attacked."

Word of the attack emerged one week after an alligator snatched 2-year-old Nebraska boy Lane Graves outside Disney World's upscale Grand Floridian Resort. Rescuers launched a frantic search for the boy before finding his body the next day.

Disney quickly vowed to post more signs in areas prone to gator attacks, in order to alert visitors.

Lineburger said nothing could bring back his beloved dog, but he wanted to make sure an attack like that could never happen to anybody else.

"I do not want her death to be in vain," he said. "At least let it accomplish something and get some of these violations taken care of."

He asked Glades County code compliance officers to inspect the marina. The inspector's findings reportedly are set for release Monday. Neighbors said they'd frequenty spot gators around the marina 30 miles east of Fort Myers.

Statewide, 6,706 alligators were harvested in 2014, the most recent year reflected in the agency's statistics.

Click for more from Fox 4.

The Associated Press contributed to this report.