Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2022 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2023	$ 200
Estimated self insurance payments due in 2024	260
Estimated self insurance payments due in 2025	260
Estimated self insurance payments due in 2026	260
Estimated self insurance payments due in 2027	255
Estimated self insurance payments due thereafter	0
Estimated self insurance payments, gross	1,235
Discount to net present value	(70)
Estimated self insurance payments, net	$ 1,165