So I encountered the sleep-wakeup-reboot problem. I tried the SMC & PRAM reset. Now, there is a delay in my keyboard and mouse. For example as I am writing this, as I type, I am observing a ~1/4 sec delay between me pressing a key and the GUI registering it. The same with the mouse. I can click-and-hold over say File and move it up and down over subsequent menu items and it the GUI doesn't highlight the menu item unless I slow down the movement. What gives? Maybe a reinstall? I have a wired keyboard and wireless mighty mouse.