crocodilians and unfortunate human to scale

There’s a US marine biologist on BBC Radio 4 talking about the leatherback turtles that she and her team have been tagging. Apparently an adult leatherback grows to the size of a Volkswagen Beetle. Wikipedia concurs—and also points out that this makes the leatherback only the fourth largest reptile, after some crocodilians. I’m scared now.