If your budget is $700 to $900, you could buy something better such as a pre 1970 trooper, or a vintage 19/66 or even a S&W model 27 or 28. Neither one of those guns is anything special IMO. A 19-7 might be pre lock, but its also not P&R'd. A trooper MKIII was how Colt cheapened the trooper. Before that, Troopers had the same basic lockwork as a python, and were great shooters.
There are better deals to be had. Both guns are common.
Winchester 73, the TFL user that won the west