Contingencies (Minimum Self Insurance Payments) (Details) $ in Thousands	Jan. 31, 2017 USD ($)
Self Insurance, Future Estimated Payments Due
Estimated self insurance payments due in 2018	$ 300
Estimated self insurance payments due in 2019	300
Estimated self insurance payments due in 2020	300
Estimated self insurance payments due in 2021	300
Estimated self insurance payments due in 2022	300
Estimated self insurance payments due thereafter	180
Estimated self insurance payments, gross	1,680
Discount to net present value	(30)
Estimated self insurance payments, net	$ 1,650