I vote brass lugs, especially since you swapped out the strainer/butt.
The only trick in buying tubes is how they're measured. Sometimes you'll see them described by their overall length, and sometimes by the spacing for the screw holes. Hole spacing is what matters for buying replacements.
These are 3.5" hole spacing; I'd bet they're what you need, based on the photos.