Speaking of those baby bolts -- why are they a combination Phillips-flathead anyway? Just to have the option of using either type of screwdriver during a roadside repair? They suck enough for flat screwdrivers, and they suck so much worse for Phillips screwdrivers that I avoid using one whenever I can. I guess there's no reason not to change them to Allen screws, is there?