My only comment is why would you want to spend good money on anything in "pretty rough shape"?
High condition guns hold their value or appreciate. Low condition guns continue to depreciate. It is the way of such things----each and every time.
Plan B might be to put your $1250 in your piggy bank, and keep adding to it as you can until such time as you can buy a proper Triple Lock.
The last two I know anything about sold recently for $10,000 and $8825 respectively. Needless to say, they weren't in pretty rough shape. The first one was bought about 25 years ago for $5250. Now that isn't a particularly good investment, but it wasn't bought as an investment---and it's better than a poke in the eye with a sharp stick!!! The other one was bought about 7 years ago for $9500, which might've been a bit too much---or maybe it was just not far enough back for any appreciation to set in. Whatever, it had a good home for a while and was appreciated every moment--never mind it didn't appreciate in value. It certainly didn't depreciate enough to talk about. And at the time it was bought, that question up above about "----how badly do you want one?" could've been answered with it was wanted "A LOT!!"
Ralph Tremaine