Amazon still sells the developer Dash Button as AWS IoT button. Thats probably what your friends are using. They're going to be alright anyway, because if that gets discontinued you can build your own around the ESP8266. Its just a button that makes a curl request.