realme Pad Mini is now official, price starts at P9,990 - Technobaboy