OK...I got it.
I used a mini-hacksaw to cut 3/16 off the end of the copper tube. Then I used the old nut and sleeve with the new 1/4 turn stop...
I know, I know... real plumbers will jeer at me for not making it all new.
But shoot, I needed to get the hot water back on :eek:
Now next...