How much was Randy Avocado