what you paid was close to what they sold for in the early 1930's.
I would have bought them also,
QUESTION; on the brace wrench, is the square socket the same size as the square end ???
the previous owner must have bought them used when he was 20 years old in the 1950's.
if it was my box, I would get rid of those screws holding the Walden info plate.