There aren't any gators in Virginia, right?