I wouldn’t pay 7k for that one.
I have a 1972 Gibson ES335 and I would definitely not keep it in a storage unit.
You might be surprised how much current models sell for. Decent ones $1200+, better ones $2400, signature ones $4800+.
$7k for an original in good shape is nothing for an enthusiast.