No, Ali, they haven't done anything because they don't think that it is enough of an issue.
At the moment, she seems to be okay - we have had a couple of times when she has been complaining that her tummy is really sore, but it hasn't been every day like it was. I can't quite tell whether I should be making something of this or just letting it go - there is definitely no pattern to when her tummy hurts, and it is not linked to foods or combinations of foods. Certainly if I took her to the doctor now it would be a real waste of time as there is nothing going on, but I worry because it crops up from time to time - we have periods where she has tummy ache repeatedly - and it feels wrong to just ignore it completely.