No, I don't think you went overboard, either. Kids will be kids, that's fine, but there's a time and a place for making loud noises and what you described was neither the time nor the place - to me.