My Superlight gives me endless fun and you should be able to pick up a used one well within your budget. It’s pretty steep up front with 100mm forks though, so depends what sort of bike you’re looking for. It picks up speed so easilly and I have yet to ride anything I prefer for fast, twisty trails. I also ride a Yeti 575, but am always amazed how capable the Superlight is in comparison. In fact it is probably more than enough bike for 99% of what I ride.
FWIW I had the RP23 PUSH tuned after a year of ownership and it turned a good bike into a great one for me.
Should add I also run Rebas, sometimes at 100mm but prefer them at 115mm as bottom bracket is low on this bike.