> apparently we're running out of high quality sand for making concrete.

Sand for concrete is increasingly obtained by crushing of hard rocks like granite (manufactured sand or M-sand); this can have superior properties to the previously used natural concrete sand.