@snowydude You can make red mana with Lotus, Petal, Mox Ruby, or badlands, so it's not really ever a problem. It feels pretty swell to cast a Empty when your opponent has brought in Leyline of Sanctity, not that it happens all that much.
I've looked at your lists, and I see you only run 12 lands. I don't have room for Tinker, a bot, and a jar. I've tried fitting them all in and it doesn't feel right. I was cutting Cabal Therapy for it.
Library of Alexandria has been great for me. The games where you get one in a seven card hand are amazing, other games it's just one of your mana sources (albeit the worst one). To me the opportunity cost is rather low. But if you can stay on library for the first two or three turns, you are more likely to power through your opponent's defenses using just your extra must-answer bombs. Honestly I think I've only lost one or two games where I got a library on turn one, and most of the time my opponent has just had a nut hand. I've kept a six card hand with a library and waiting to play anything until I could draw off of it and won that way. I'm sure I was pretty lucky at that point, but still it was good.
Sensei's Divining Top on the other hand is a harder card for me to want to use. The games where it would have been good are games where things were going badly anyway.
How often are you drawing Blightsteel in your hand and realizing Tinker is almost useless at that point? With no way to discard it and only Brainstorm to put it back or Ponder to try to shuffle it away before you draw it, it seems like a liability at times.
About the deck going off on turn one or two. I just don't see hands all the time that are going to win that fast. It's pretty common on turn two, turn one is not nearly as much so for me. Then again I'm doing my testing online so the shuffle is as close to random as possible. I definitely do get fast wins fairly often, but so many people tell me that the best way to beat Shops decks or whatever Sphere effect deck is to just be faster, In practice that's just super rare for me. Every time I try to mulligan into something faster it just doesn't work out. And the idea of using Tinker as an out to Spheres, by getting a robot out on turn one -- That just never seemed reliable to me. Granted, I was just goldfishing to see how often I could Tinker on turn one, but it wasn't fast enough to make me feel confident about it.