You would be better of selling it to someone here than taking to your local. There are YouTube videos on how to pack a record. It’s a little nerve racking shipping a high priced record
More cardboard is better than less. Practice on a damaged/beater record. Try to bend the box when you're done. Assume the USPS will walk on it.
@bettim84 definitely don't trade it in then hah. last sold on discogs was $150. that's a pretty huge price discrepancy...