Air mining is real, but air coins are gone