7,000 gaming workers face end of industry