Cold1,
Also, there are a lot of the small (7") shapers in shops around the country that can handle the job very well. There are some things a shaper is better than a mill for, but they are admittedly slow. Recently, even large shapers seem to be searched out and put back to work by younger machinists, maybe for nostalgia. Some mills were bought with slotting attachment (works like a vertical shaper) which would work as well.
Mike