Honestly. It is as cool as my U87. It just depends on your vocalist.
Let us make one thing clear about "tube mics" and the illusion that tube mics sound warmer or better.
Tube mics use the EC883 Or AT7 tube. These are low drive tubes, use as a function stage for your electronics. You are not loading this down with tone galore. Now you are when you use an AX7, your are driving things, but an AT7 is low gain stage tube.
I want a mic with an AX7!
But really for the cost, the Telefunken AK-47, AR-51 (tube stage), even the less costly CU-29 Copperhead (tube stage) are all really good choices. Perhaps consider your use, and future uses, maybe you might want a second in the future. for a choir, or even overheads! Why not? There really are not rules, do your thing!