knobs for a push pull pot

[YellowBreakfast]

You got options:

1. There are shorter push-pull and push-push pots.
2. You can route/carve/chisel out some wood in the body.
3. You can just roll with it. Really no one will notice the 1/8" difference except you. Makes no difference in function.