Also known as Indian Red Sandstone, Red Sandstone, Agra Red Sandstone, Red Sandstone Façade Tiles, Dholpur Red.