For anyone who has stripped a screw in step 8 this note might make your day. I stripped the longer screw using a #00 bit. I then took a 1.5mm flat head bit from the iFixit screwdriver kit and rocked it along the line of the flat head into the stripped screw head, with some pressure a few times and that created enough of a depression to easily remove the screw. There was even enough purchase to reinstall it securely so no need to hunt down a replacement screw.