لغت نامه دهخدا
سرخ دم لری. [ س ُ دُ ل ُ ] ( اِخ ) دهی از دهستان کوهدشت بخش طرهان شهرستان خرم آباد. دارای 450 تن سکنه است. آب آن از چشمه سرخ دم لری می باشد. محصول آنجا غلات، لبنیات. ساکنان از طایفه خوش دام آونداند و در ساختمان و چادر سکونت دارند. ( از فرهنگ جغرافیائی ایران ج 6 ).