CPO low mile BRZ worth it?

Hey everyone! I've been shopping around in Florida for a World Rally blue BRZ and haven't had much luck on a decent price for one unless I want a tS which would take me to almost $40k OTD after fees and tax. Two out of the three Subaru dealers that I went to near me said they can't even order me one until next month.

So I found a CPO BRZ out of state for about $30k OTD Premium manual with a little under 4k miles with 'minor damage' on carfax.

https://preview.redd.it/u421famy6lce1.png?width=1032&format=png&auto=webp&s=efc5ffc59c7993d27b09cbe555b1c710dccfebf2

Other than that I'll probably be looking at at least $35k OTD for a new '25 Premium BRZ from another state.

I was thinking $5k is a decent savings but what do you guys think I should do from your experience? Thanks