with all of that money they got from the Red Rock Resort (RRR) IPO.
And if it goes thru then there goes the neighborhood, IMHO