Looking for Opinions on 2 Tenors

Hi all,

I am going to a store over the weekend to look at 2 Tenor Saxophones.

First is the John Packer JP042 for 800 euro The second is a Buffet 100 for 900 euro

900 is kind of my max budget at the moment but wanted to see if anyone has experience on these horns? I am very new to playing. Bit of back story:

Bought a Gear4Music's own Alto in Jan and had issues with it. Brought to a guy in Dublin and he found multiple leaks and the octave key was too high and looked ready to pop out of the mechanism. I sent it back under warranty and 8 weeks later (after major hassle) they sent it back. Octave key wasn't touched and after second use it popped out. I have been issued a refund now and prior to this had been considering moving to Tenor as love the sound/look/feel of them.

That 8 weeks will undoubtedly set me back so trying to decide should i go for the John Packer as a starter horn or bit the bullet and pay the 900 for the Buffet?

I asked about second hand ones and he doesn't have any right now. Checked Irish sites and only horns like odyssey etc which i haven't heard good things about. Plus will end up putting a couple hundred in getting them checked anyway!

Sorry for the novel but that is my current situation so ANY advice is welcome.

P