Red Rock Resorts posts $425.5m in net revenue for Q4