So we applied for and got her a new callsign through the Vanity system.
She is now K4LRN. The suffix "LRN" is short for her name, something she liked when we looked at what callsigns were available.
I checked late Thursday evening and it was still pending, so
Merry Christmas, Lauren!
EDIT: The expiration is on Christmas Day of 2019, so it did come into effect on Christmas Day.