That's pocket change in the grand scheme of things.
What they would have had was a proven stable smartphone OS that doesn't differentiate them in any way from their competition. They could probably try to tack BBM on top of that, but I've heard some of the problems with the BB OS 10 delays are due to getting all of that to work with the new OS, so I don't know if Android would have sped things up.
If they were going to go with Android, they'd almost need to take Amazon's approach if not go further and make their own fork.
I question if RIM would have been able to release decent hardware to compete with Samsung, or even some of the other Android manufacturers. Their software has been a major problem for them, but their hardware design has also been pretty lackluster as of late as well.