Shingles are
real cedar shakes painted Benjamin Moore's Edgecomb Gray (HC - 173)(They came natural and the builder hand - dipped each one in paint so that they would still have the «natural» look to them.)
I would love to redo it in shingle but have read that
real cedar shakes are costly and have a very limited lifespan.