Well, everything went well for the resealling of the oil collector cover. The painstaking part was the removal of the old rubber seal. As I was crossing the finish line, torquing all the screws/bolts to 15 Nm, the unexpected happened. One of the torx screw sheared off, left 2/3 of the shaft inside the socket., @$#@$#@*#%#*%#. I allowed the sealant to cure overnight and drove the vehicle for 30 miles or so today. No leak, that was a relieve. Now, what should I do with the broken screw? Should I drill it out? or just leave it alone? I bought a set of the drill out/bolt out bits from Sears, and pondering whether I should do it. What to do what to do?