It’s possible that this individual, and many other species in that tank were donated from Ohio Fish Rescue, since there’s a video 2 and a half years ago of them giving Tiger Shovelnoses and Ripsaws, Pacu to Electric City.
@Yoshistar888 Cool! Several of the species IDs mentioned they were rescues, and a keeper said the blacktip reef sharks, grouper, etc. were rescues as well.