re: #16 wrenchwench

I don’t know. I think it probably works the same way but not sure.