I agree. For your audience of pasting-all-the-time people, I think you should change it to something much lower like 100 milliseconds. I don’t think going from 3 seconds to 1.5 seconds is nearly enough.
The good news is that this limit only applies to new users so existing, established users won’t be affected.