You are talking about a college doctor? I'd be a bit wary of using a college doc for this kind of thing, but that's because my experience with college docs was that they weren't good for much more than colds and flu. But you may have a much better facility to work with so feel quite free to ignore my opinion.