Just out of curiosity, what do people with this setup (using manufacturer recommendations) do if they wanted to widen their pedal stroke width profile by say 4mms on each side? Just buy the +4mm pedals rather than add 4mms of washers?