(1) Ran-Pantoprazole 40mg and (2) Pantoloc 40mg (Pantoprazole Sodium 40mg)? Is one better than the other for control of IBS symptoms?