I keep a stock of standard sleeves on hand, and cut down the length of a sleeve when I need a short one. I use a plumber's tight-space copper tubing cutter, which is small and light and fits easily into your hand. I slip a salvage plunger inside the sleeve while cutting it, so it won't collapse. Makes a perfect cut, and only takes about 10 seconds.
- TimMe