mhhh I always mention it, you never know if it might have something to do with your symptoms. indirectly or directly. let the professional decide.

then again. over here it's no biggy so what you say doesn't have similar consequences as anywhere else.

depends maybe on how pally you are with the doc.
good luck either way.