Fixed #34. Cheapened redstone cost for repairing diamond stuff.