How much does a bench vice cost in Namibia?