E.S.
It sounds like you are already taking care of things...but I thought I would add my two cents.
My son has those types of pains in his legs and knees at night sometimes...growing pains. We give him Tylenol and rub his legs for a little bit. It used to happen a couple of times a week....now it seems to be happening only a couple of times a month.
My sister had the same issue as a child....so did my husband. Nothing serious, I believe.
It is good you are seeing the doctor, but I wouldn't worry too much! Merry Christmas!