Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2016 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2017	$ 400
Estimated self insurance payments due in 2018	375
Estimated self insurance payments due in 2019	375
Estimated self insurance payments due in 2020	375
Estimated self insurance payments due in 2021	375
Estimated self insurance payments due thereafter	170
Estimated self insurance payments, gross	2,070
Discount to net present value	(20)
Estimated self insurance payments, net	$ 2,050