These are pet fish people tend to release.
Almost certainly the case. I strongly doubt there is a breeding population of red-bellied piranha in that lake.
Question is, are there any more....and if so, how many?
One misconception about pirranha though, contrary to what the movies would have used believe, very few species are carnivorous.