Push.com is a valuable domain name, which I would be happy to own. The Whois record for Push.com is private, and the domain name forwards to the sparsely populated @push_dot_com Twitter page. It looks like that Twitter handle has only posted one tweet since it was created in October 2016.
I thought it would be interesting to see if anyone tried to buy the domain name via Twitter, and of course there were many attempts. So far, it doesn’t look like any of these efforts have been successful: