All babies spit up differently, I had a girlfriend whose children spit up about every 10 minutes and it was so much she had to change their clothes several times per day and have a bib on them constantly yet her kids still thrived. They did this for almost the first entire year.
My children were all different, my first barely did at all, my second seemed to spit up all the time and my third was moderate. My advice is to listen to the doc on this one. If your baby is thriving, then I wouldn't worry, it is just par for the course, just one more thing to add to the years of worry. = )
Now all that being said, I found a couple of things that helped us out with upset tummies and spitting up. The first, indeed, was Mylicon and then we found the wonder treatment with Gripe Water by Baby Bliss, it is 100% natural and you can pick it up at Walgreens. It was a lifesaver for us.
Now for your situation, I am not sure I would bother if your baby is just spitting up. I would use this if you think your baby is uncomfortable with the spitting up. No sense in treating a symptom that is 100% normal for a baby. If you really do think he is spitting up excessively (like my girlfriends babies) then by all means, give it a try. Both of these meds are perfectly safe.
Good luck!