I have a feeling it's still 10a, but that will be machine limited not by the pedal.
I know. They go down to 5 A without the pedal so it can make a difference if ramping down with pedal or down-slope
5a on DC but it's 10a on AC
I prefer that way too.
Separate names with a comma.