Does anyone know off the top of their head what type of grass they planted for the great lawn? During pride, I was impressed with how well it seemed to be holding up to the traffic and the heat. Definitely did not look like your standard Bermuda though and I would assume there's not nearly enough shade for it to be fescue, unless it's some special variety.