Should you shoot? If you are hunting for big racks, he doesn't have it. If you are hunting for meat, you will get more off that 1 deer than shooting TWO 2.5yo bucks.
I would shoot what makes you happy! That's a mature buck for sure. If I was you and wanted to put my tag on it and got a chance then I would. It's all about what you want to do as a hunter . Good luck and don't look back with whatever decision you make!