You can use the arrow keys to adjust those sliders, it may "snap" to
100 mil steps.
Otherwise, yeah, save the board (*.pcb), edit it with a text editor,
and fix the sizes manually. Look for a line right near the top that
looks like this:
PCB("" 7000 3500)