Good to know! I took years of Spanish classes and my kids are in a Spanish immersion school in California, but I’ve only ever heard lagarto for smaller lizards and cocodrilo for anything resembling crocodilians

Thanks for the info