9 and 10 mm Open ended wrench

Open ended wrench, one end is 10mm, the other is 9.
I figured with so much 10mm stuff around it wouldn't hurt to have a few extra wrenches, even if they're only good for a few ft-lbs.

Update: This needs work. Hang on

Update 2: This actually works fine. I just failed at printing really hard for a minute. Make sure you throw a brim on this or use some sticky stuff for the print bed.