Double Box End Wrench
One side 13/16 and the Other 7/8th"
Tools may only be checked out and returned during tool library open hours. Tools may be renewed up to 3 times.