I thought most commercial GPS receivers update once a sec. There are some more expensive versions that can update 5 times a sec. I'm sure that the military have receivers that update much faster, maybe 1000 Hz. What kind of receiver do you have that updates 10,000 times a sec?
I think most commercial mapping software is written to update at the rate that most GPS can deliver data - ie once a sec.