Envoyer par SMS: A Note on Büchi's Problem for p-adic numbers