Has anyone shortened an antenna?

I have. Knocked that little ball off the end, cut to my desired length. Grind the new end just enough so the little ball could be tapped on. Never had any issue with that one. Not sure on your antenna, but to answer the question ... yes