(or, technically, #repair_type does below, but this is where it gets called)