Machinery repair workshop