10,000 is fairly common on machines that do double duty as CNC routers since 10,000 RPM is a typical target spindle speed. The specific number in this case isn’t as important as making sure that the value for “S Value Max” in Device Settings matches this value.
For laser use, S values don’t indicate an absolute value. $30 defines the value used to indicate 100%. $31 defines the lowest addressable power value. Values specified in g-code between 0 and $30 represent the fractional power value equivalent to the power % specified. As an example, 50% of 0 to 10000 would be 5000. So S5000 represents 50% power for a system where $30=10000. Similarly 50% power would be represented by S500 when $30=1000.