I think that you did the right thing, and it probably worked much more quickly than a pill.
In fact that treatment is what my pediatrician for my kids advised if the pills failed when my babies were sick.
Now those were the days! Kid gets sick and you call your pediatrician, his anwerig services asks the appropriate questions, and he calls back with instructions.
Now days you get an answering machine that says go to the nearest ERA if you can’t wait till next office hours.