Welcome to Photrio (nee APUG).
The enlarger bulbs are a bit different, so Home Depot is probably out.
There are lots of sources for specialty bulbs on the internet.
Here is just one example: https://www.replacementlightbulbs.com/lampph140_75w.html
-) have a plain opalisation.
Household opalized bulbs (likely rare anyway) may have a signing at the top, and that may be of effect, and then can be wiped/polished off.
-) are designed for lower voltage than the mains yields, thus in use driven by too high voltage. This in order to be more bluish than the household versions and thus gain more photochemical effect, on the price of reduced longevity.
With mains voltage risen over the last years, old stock enlarger lamps will be underrated even twice and thus be even more bluish and shortlived.
Filtratrion guides are related on true enlarger bulbs, driven by the apt mains voltage.
If you get a bulb at home depot it will work in that you will be able to expose paper and get images, however, you should get bulbs from a place like freestyle and make sure that you have the same bulbs in all the enlargers. The key to darkroom work is consistency, and your students will get frustrated if they get different results when they do the exact same thing on two different enlargers. The bulbs are not that expensive....