Yes, there's been several UI research papers which show that keyboard heavy users underestimate the time their keyboard strokes take compare to quickly switching to mouse because of the higher cognitive load. I know, [citation needed], but I'm sure you'll find them if you google.