Want to let the boys try making this but haven't a clue what type of oil to use ... or would butter be better? How do you make butter popcorn? TIA