Agreed.
Picking nits, but these pushfeeds won’t actually be labeled XTR. They came out in the early 90s and were made for 2 years just prior to the introduction of the classic stainless.
Yeah his post was throwing me off because I don’t think they are XTR models. For a couple reasons: they were made after the “XTR” designation was dropped and also because it’s a stainless pushfeed.