The world's largest burrito weighed 4,217 lbs.