I want to know the answer to the following question:
Which company continued to use gas-lasers in industrial models of LD players although they were no longer used in consumer models?
All the background I'm provided with is that "After Pioneer released the LD-700, gas lasers were no longer used in consumer players, despite their advantages, although Philips continued to use gas lasers in their industrial units until 1985.". Is that enough to answer the question?