Having been to Ragland Road many times and looking at their menu, I'm not sure they have ANY peanut items, it's an irish place, peanuts ain't exactly local food for them. Granted, they may have altered it since this couple ate there, but I can't think of a single peanut containing irish pub food.
Hungry? Then Let’s Eat!
www.raglanroad.com
They also have this disclaimer on the site and their menus. Again, maybe added since this incident but I"ve certainly seen it at many places, if not this one. Of all the faults I levy at Disney, a reasonable accommodation for food allergies isn't one of them.