I would like to add in a pair of peppermint shrimp to my other tank, I love the ones in my 14gal, but I am unsure if my diadem will bother them. She does not actively go after things, but if anything gets near her rock she will get after them. Live aquaria said the diadem can eat ornamental shrimp, would peppermint be safe or a spendy snack? Anyone have the two in their tank?