Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2019 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2020	$ 265
Estimated self insurance payments due in 2021	265
Estimated self insurance payments due in 2022	265
Estimated self insurance payments due in 2023	270
Estimated self insurance payments due in 2024	275
Estimated self insurance payments due thereafter	0
Estimated self insurance payments, gross	1,340
Discount to net present value	(75)
Estimated self insurance payments, net	$ 1,265