I'm not sure he's a top 100 prospect. Montgomery, Colas and Jose Rodriguez are all better than he is in my opinion so that would give the Sox 4 top 100 prospects. I'd just be very surprised to see Ramos jump those guys. If there's any chance that Ramos ends up at first base (and there is), they should try to headline a trade package with him.