"industriverksted" er et 16-bokstavers substantiv som brukes som synonym for "riggerverksted". riggerverksted betyr: Verksted innenfor industriell produksjon.