I looked at the first few WR guns on Gunbroker. #1 was $7K and had sleeved barrels (nothing wrong with good sleeved barrels). #2 was $8.5K and had both sleeved barrels and a Miller single trigger. Don't think I'll be bidding.

N.