Lot Five (5), In Block Eighty (80), of the Original Town of Robert Lee, Coke County, Texas as being that property more particularly described in Volume 211 and Page 425 of the Deed Records of Coke County, Texas (R7431)