If it has a long tail, it is an ocelot, which are in the same genus as leopards. If it has a short tail, it is a bobcat.
Ocelots are stout, muscular cats running up to 40 - 50 pounds. So they can be more muscular than the average size bobcat.
Another id point is ocelots have round ears and bobcats have pointed ears. Jaguarundis also have rounded ears, though young jaguarundis can have pointed ears.
Bobcats and ocelots have white patches on the back of their ears, jaguarundis do not.
Jaguarundis have unusually long bodies and tails.
Feral house cats have pointed ears, and tails and bodies not as long as jaguarundis.
I cannot see a long tail in those photos, but I sent you a PM with my email address to send the best quality image. If it is an ocelot, I have a standing offer of $1,000 for photos with an affidavit authenticating the photo and gladly will make good on it.
fwiw - jaguars are very big cats averaging over 200 pounds for males with some exceeding 300 pounds. Think about a body size as big as a big bodied mature buck in South Texas. Jaguars used to be present in South Texas.
Way off the rails, I have seen a photo of a tiger supposedly from the banks of the Rio Grande. It most likely was a pet that was turned loose, but never could obtain more specific info.
Thanks for sharing.