Careful with shipping this time of year. They buyer may receive them in an unusable condition. Best time for shipping records is anytime outside of summer.
As a self-described "vinylphile" (and recovering audiophile) with a collection of over 5k records of one type or another, unless you can sell these to someone in-person, you may want to think twice about shipping them this time of year.