Coral Sandstone enters the battlefield tapped unless you control five or more Red permanents. : Add  or to your mana pool. : Add  to your mana pool. Put Coral Sandstone on top of your library. , : Target player reveals the top card of his or her library.