FYI, not all the rice krispies sold at the disney parks are Selma's brand. They make them fresh in the candy stores...I have seen them being made.
I imagine they use standard food service marshmallows, though, which contain gelatin from animal products.