Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2023 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2024	$ 225
Estimated self insurance payments due in 2025	275
Estimated self insurance payments due in 2026	275
Estimated self insurance payments due in 2027	275
Estimated self insurance payments due in 2028	275
Estimated self insurance payments due thereafter	0
Estimated self insurance payments, gross	1,325
Discount to net present value	(75)
Estimated self insurance payments, net	1,250
Less current portion	(200)
Non-current portion	$ 1,050