according to that linked reddit thread the (real) electrum guys said that the electrum.com domain owner was asking the price of a house in 2012. 25 btc wouldn't buy much of a house in many places these days. i'd be very interested to know how this guy got his hands on the domain especially since it should be worth more than it was in 2012, not less.
There are houses that are on the market for $200000 which is probably about 25 bitcoin. I wouldn't be annoyed if someone were to tip me that amount either ...