ruk, sorry for getting back to you so late. i wasn't able to call the insurance/repair people because fuck my life (the few times i did call i didn't have the serial numbers they needed). HOWEVER the ctrl key fixed itself so i'm guessing it might have been crap stuck under the keyboard. i tried using it today and it worked with no issues. so it's up to you what you want: i can either ship this thing now and risk having the ctrl key break down in the near future, or i can delay by another few weeks to call the insurance/repair people and have this thing fixed anyway. they have a convoluted process to create a repair ticket and idk how long it will take to get repaired.

up to you.