Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2021 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2022	$ 200
Estimated self insurance payments due in 2023	225
Estimated self insurance payments due in 2024	225
Estimated self insurance payments due in 2025	225
Estimated self insurance payments due in 2026	225
Estimated self insurance payments due thereafter	75
Estimated self insurance payments, gross	1,175
Discount to net present value	(40)
Estimated self insurance payments, net	$ 1,135