Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2025 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2026	$ 120
Estimated self insurance payments due in 2027	200
Estimated self insurance payments due in 2028	200
Estimated self insurance payments due in 2029	200
Estimated self insurance payments due in 2030	200
Estimated self insurance payments due thereafter	55
Estimated self insurance payments, gross	975
Discount to net present value	(75)
Estimated self insurance payments, net	900
Less current portion	(120)
Non-current portion	$ 780