It's worth mentioning they actually had the domain drip.com but sold it to the current owners. (For a six figure sum, informed a person at the buying company in a recent podcast, Art of Product.)