No matter what I set in the default printing speed the maximum that ends up in the g-code is 4800 mm/min (F4800).
I am aware that an extrusion type machine can't really print at this speed - this is NOT for an extrusion based machine.
Where is this 4800 limit set and how can it be changed?