If your OS and your video's are on the same physical drive, AND you spend a lot of time editing videos, they you may notice improved performance during the editing process with 10K drives; You'll also get better performance by moving your videos off the OS drive, reducing contention for disk I/O's - But again, for the average user, I don't think trimming off a few seconds from boot or a few seconds off the editing process is worth the extra money, and limited storage capacities...
The value (in my humble opinion) is in the reliability of the drives; 10K and higher are designed and manufactured to a more stringent set of tolerances and standards. Often designed for MTBF (mean time between failure) measured in hundreds of thousands of hours, they will generally out live us, let alone your computer; and generally offer more sophisticated error avoidance and recovery features build into the logic of the drive...