I want to know the answer to the following question:
What type of laser is used in a LaserDisc player?
All the background I'm provided with is that "Red helium–neon lasers were used commercially in LaserDisc players.". Is that enough to answer the question?