You are probably right.
Still, I propose that he should give it a once-over to be sure.
Mind you, I'm a little bit battle hardened on the subject of focusing lamps in their reflectors.
If you replace the lamp in a cinema projector but you don't ensure that it is properly aligned you can burn the film. Yes, even at 1/24 of a second you can still burn film! Ask me how I know this.
As much as I know Frank is right, there is still that little knee jerk reaction in me that says, "Check the alignment. The time you spend, now, might save you trouble later on."