[Crystal 001] settings repair wrench options