[Crystal 003] settings repair wrench options