Adding boxing to pinball doesn't seem to change a lot of things. I couldn't figure out the differences between the three types of punch
