At least sleeve material is pretty easy to come by. Even pipe from the hardware store works (plumbing section) Plenty strong and cheap!
as long as you find something close enough (but some machining might still be required) - not sure what his OD is but pipe standard for common sizes are
Size / OD / ID variations (3 or 4 different sizes)
1/4 / 0.540 / 0.410, 0.364, 0.302
3/8 / 0.675 / 0.545, 0.493, 0.423
1/2 / 0.840 / 0.674, 0.622, 0.546, 0.466
looks like 3/8 or 1/2 would be fairly close candidates