Pika - they use cactus leaves in mexican cooking a lot, they're in the stores down here all the time. My receptionista (mexican gal) peels them as outlined above and sautees them then sprinkles them with chili powder and lime juice. Mind you Mexicans put chili pepper and lime on everything, even watermelon!!